SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

polybori-devel rpm build for : Fedora 18. For other distributions click polybori-devel.

Name : polybori-devel
Version : 0.8.2 Vendor : Fedora Project
Release : 3.fc18 Date : 2012-10-17 19:15:10
Group : Development/Libraries Source RPM : polybori-0.8.2-3.fc18.src.rpm
Size : 0.64 MB
Packager : Fedora Project
Summary : Development files for polybori
Description :
Development headers and libraries for polybori.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/18/Everything/x86_64/os/Packages/p

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  polybori-devel-0.8.2-3.fc18.i686.rpm
ftp.icm.edu.pl  polybori-devel-0.8.2-3.fc18.i686.rpm
     Search for other platforms
polybori-devel-0.8.2-3.fc18.sparc.rpm
polybori-devel-0.8.2-3.fc18.alpha.rpm
polybori-devel-0.8.2-3.fc18.ppc.rpm
polybori-devel-0.8.2-3.fc18.ia64.rpm
polybori-devel-0.8.2-3.fc18.s390.rpm

Provides :
polybori-devel
polybori-devel(x86-32)
python-polybori-devel

Requires :
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
polybori(x86-32) = 0.8.2-3.fc18
cudd-devel(x86-32)
libpolybori-0.8.2.so.0
libpolybori_groebner-0.8.2.so.0
rpmlib(PayloadIsXz) <= 5.2-1
boost-devel(x86-32)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1


Content of RPM :
/usr/include/polybori
/usr/include/polybori.h
/usr/include/polybori/BlockDegLexOrder.h
/usr/include/polybori/BlockDegRevLexAscOrder.h
/usr/include/polybori/BooleConstant.h
/usr/include/polybori/BooleEnv.h
/usr/include/polybori/BooleExponent.h
/usr/include/polybori/BooleMonomial.h
/usr/include/polybori/BoolePolyRing.h
/usr/include/polybori/BoolePolynomial.h
/usr/include/polybori/BooleSet.h
/usr/include/polybori/BooleSetSequence.h
/usr/include/polybori/BooleVariable.h
/usr/include/polybori/DegLexOrder.h
/usr/include/polybori/DegRevLexAscOrder.h
/usr/include/polybori/LexOrder.h
/usr/include/polybori/cache
/usr/include/polybori/cache/CCacheManagement.h
/usr/include/polybori/cache/CDegreeCache.h
/usr/include/polybori/cache/CacheManager.h
/usr/include/polybori/common
/usr/include/polybori/common/CCheckedIdx.h
/usr/include/polybori/common/CExtrusivePtr.h
/usr/include/polybori/common/CWeakPtr.h
/usr/include/polybori/common/CWeakPtrFacade.h
/usr/include/polybori/common/TransformedSequence.h
/usr/include/polybori/common/tags.h
/usr/include/polybori/common/traits.h
/usr/include/polybori/config.h
/usr/include/polybori/cudd
There is 177 files more in these RPM.

 
ICM