SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

libpolybori-devel rpm build for : Mandriva 2010. For other distributions click libpolybori-devel.

Name : libpolybori-devel
Version : 0.6.3.20091028 Vendor : Mandriva
Release : 7mdv2010.1 Date : 2010-02-08 04:52:21
Group : Development/Other Source RPM : polybori-0.6.3.20091028-7mdv2010.1.src.rpm
Size : 0.70 MB
Packager : Anssi Hannula < anssi_mandriva_org>
Summary : PolyBoRi development files
Description :
PolyBoRi development files.

RPM found in directory: /vol/rzm6/linux-mandriva/official/2010.1/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  libpolybori-devel-0.6.3.20091028-7mdv2010.1.i586.rpm
     Search for other platforms
libpolybori-devel-0.6.3.20091028-7mdv2010.1.sparc.rpm
libpolybori-devel-0.6.3.20091028-7mdv2010.1.alpha.rpm
libpolybori-devel-0.6.3.20091028-7mdv2010.1.ppc.rpm
libpolybori-devel-0.6.3.20091028-7mdv2010.1.ia64.rpm
libpolybori-devel-0.6.3.20091028-7mdv2010.1.s390.rpm

Provides :
polybori-devel
devel(libgroebner-0.6.3)
devel(libpboriCudd-0.6.3)
devel(libpolybori-0.6.3)
libpolybori-devel
libpolybori-devel(x86-32)

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
devel(libstdc++)
devel(libm4ri-0.0.20091101)
rpmlib(VersionedDependencies) <= 3.0.3-1
devel(libgcc_s)
rpmlib(PayloadIsLzma) <= 4.4.6-1
libpolybori = 0.6.3.20091028-7mdv2010.1
devel(libm)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
devel(libntl)


Content of RPM :
/usr/include/cudd
/usr/include/cudd/cudd.h
/usr/include/cudd/cuddInt.h
/usr/include/cudd/cuddObj.hh
/usr/include/cudd/epd.h
/usr/include/cudd/mtr.h
/usr/include/cudd/st.h
/usr/include/cudd/util.h
/usr/include/polybori
/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/BooleRing.h
/usr/include/polybori/BooleSet.h
/usr/include/polybori/BooleVariable.h
/usr/include/polybori/CBidirectTermIter.h
/usr/include/polybori/CCacheManagement.h
/usr/include/polybori/CCuddCore.h
/usr/include/polybori/CCuddFirstIter.h
/usr/include/polybori/CCuddGetNode.h
/usr/include/polybori/CCuddInterface.h
/usr/include/polybori/CCuddLastIter.h
/usr/include/polybori/CCuddNavigator.h
/usr/include/polybori/CCuddZDD.h
/usr/include/polybori/CDDInterface.h
There is 73 files more in these RPM.

 
ICM