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.5rc.p9 Vendor : Mandriva
Release : 6mdv2010.0 Date : 2009-09-09 20:31:59
Group : Development/Other Source RPM : polybori-0.5rc.p9-6mdv2010.0.src.rpm
Size : 0.73 MB
Packager : Paulo Andrade < pcpa_mandriva_com_br>
Summary : PolyBoRi development files
Description :
PolyBoRi development files.

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

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  libpolybori-devel-0.5rc.p9-6mdv2010.0.i586.rpm
     Search for other platforms
libpolybori-devel-0.5rc.p9-6mdv2010.0.sparc.rpm
libpolybori-devel-0.5rc.p9-6mdv2010.0.alpha.rpm
libpolybori-devel-0.5rc.p9-6mdv2010.0.ppc.rpm
libpolybori-devel-0.5rc.p9-6mdv2010.0.ia64.rpm
libpolybori-devel-0.5rc.p9-6mdv2010.0.s390.rpm

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

Requires :
devel(libm)
rpmlib(CompressedFileNames) <= 3.0.4-1
devel(libstdc++)
devel(libntl)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(VersionedDependencies) <= 3.0.3-1
devel(libgcc_s)
rpmlib(PayloadIsLzma) <= 4.4.6-1
libpolybori = 0.5rc.p9-6mdv2010.0


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 82 files more in these RPM.

 
ICM