SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : libpolybori-devel
Version : 0.7.0.p3 Vendor : Mandriva
Release : 2 Date : 2011-06-01 12:13:27
Group : Development/Other Source RPM : polybori-0.7.0.p3-2.src.rpm
Size : 0.57 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/2011/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  libpolybori-devel-0.7.0.p3-2-mdv2011.0.i586.rpm
     Search for other platforms
libpolybori-devel-0.7.0.p3-2-mdv2011.0.sparc.rpm
libpolybori-devel-0.7.0.p3-2-mdv2011.0.alpha.rpm
libpolybori-devel-0.7.0.p3-2-mdv2011.0.ppc.rpm
libpolybori-devel-0.7.0.p3-2-mdv2011.0.ia64.rpm
libpolybori-devel-0.7.0.p3-2-mdv2011.0.s390.rpm

Provides :
polybori-devel
devel(libgroebner-0.7.0)
devel(libpboriCudd-0.7.0)
devel(libpolybori-0.7.0)
libpolybori-devel

Requires :
libpolybori = 0.7.0.p3-2
devel(libboost_python)
devel(libgcc_s)
devel(libm)
devel(libm4ri-0.0.20100701)
devel(libntl)
devel(libpython2.7)
devel(libstdc++)
rpmlib(PayloadIsLzma) <= 4.4.6-1


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/BooleSet.h
/usr/include/polybori/BooleVariable.h
/usr/include/polybori/CApplyNodeFacade.h
/usr/include/polybori/CBidirectTermIter.h
/usr/include/polybori/CBlockOrderingFacade.h
/usr/include/polybori/CCacheManagement.h
/usr/include/polybori/CCallbackWrapper.h
/usr/include/polybori/CCheckedIdx.h
/usr/include/polybori/CCuddCore.h
/usr/include/polybori/CCuddDDFacade.h
/usr/include/polybori/CCuddFirstIter.h
/usr/include/polybori/CCuddInterface.h
/usr/include/polybori/CCuddLastIter.h
There is 77 files more in these RPM.

 
ICM