SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

cudd-devel rpm build for : Fedora 22. For other distributions click cudd-devel.

Name : cudd-devel
Version : 2.5.0 Vendor : Fedora Project
Release : 7.fc22 Date : 2015-02-12 17:19:56
Group : Development/Libraries Source RPM : cudd-2.5.0-7.fc22.src.rpm
Size : 2.07 MB
Packager : Fedora Project
Summary : Header files and man pages for cudd
Description :
Development headers and man pages for cudd.

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

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  cudd-devel-2.5.0-7.fc22.x86_64.rpm
     

Provides :
cudd-devel
cudd-devel(x86-64)

Requires :
rpmlib(PayloadIsXz) <= 5.2-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
cudd(x86-64) = 2.5.0-7.fc22


Content of RPM :
/usr/include/cudd
/usr/include/cudd/cudd.h
/usr/include/cudd/cuddInt.h
/usr/include/cudd/cuddObj.hh
/usr/include/cudd/dddmp.h
/usr/include/cudd/epd.h
/usr/include/cudd/mnemosyne.h
/usr/include/cudd/mtr.h
/usr/include/cudd/st.h
/usr/include/cudd/util.h
/usr/lib64/libcudd.so
/usr/lib64/libcuddobj.so
/usr/lib64/libcuddst.so
/usr/lib64/libcuddutil.so
/usr/lib64/libdddmp.so
/usr/lib64/libepd.so
/usr/lib64/libmtr.so
/usr/share/doc/cudd-devel
/usr/share/doc/cudd-devel/README
/usr/share/doc/cudd-devel/cudd
/usr/share/doc/cudd-devel/cudd/cudd.doc
/usr/share/doc/cudd-devel/cudd/cudd.ps
/usr/share/doc/cudd-devel/cudd/cuddAllAbs.html
/usr/share/doc/cudd-devel/cudd/cuddAllByFile.html
/usr/share/doc/cudd-devel/cudd/cuddAllByFunc.html
/usr/share/doc/cudd-devel/cudd/cuddAllDet.html
/usr/share/doc/cudd-devel/cudd/cuddAllFile.html
/usr/share/doc/cudd-devel/cudd/cuddDesc.html
/usr/share/doc/cudd-devel/cudd/cuddExt.html
/usr/share/doc/cudd-devel/cudd/cuddExtAbs.html
There is 101 files more in these RPM.

 
ICM