Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

cudd-devel-2.5.0-4 RPM for x86_64

From OpenMandriva Cooker for x86_64 / unsupported / release

Name: cudd-devel Distribution: OpenMandriva Lx
Version: 2.5.0 Vendor: OpenMandriva
Release: 4 Build date: Sun Nov 1 14:25:06 2020
Group: Unspecified Build host: c64one.openmandriva.org
Size: 2167777 Source RPM: cudd-2.5.0-4.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://vlsi.colorado.edu/~fabio/CUDD/
Summary: Header files and man pages for cudd
Development headers and man pages for cudd.

Provides

Requires

License

BSD

Files

/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/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
/usr/share/doc/cudd-devel/cudd/cuddExtDet.html
/usr/share/doc/cudd-devel/cudd/cuddIntro.css
/usr/share/doc/cudd-devel/cudd/cuddIntro.html
/usr/share/doc/cudd-devel/cudd/cuddTitle.html
/usr/share/doc/cudd-devel/cudd/footnode.html
/usr/share/doc/cudd-devel/cudd/icons
/usr/share/doc/cudd-devel/cudd/icons/blueball.png
/usr/share/doc/cudd-devel/cudd/icons/ch_beg_r.png
/usr/share/doc/cudd-devel/cudd/icons/ch_begin.png
/usr/share/doc/cudd-devel/cudd/icons/ch_del_r.png
/usr/share/doc/cudd-devel/cudd/icons/ch_delet.png
/usr/share/doc/cudd-devel/cudd/icons/ch_end.png
/usr/share/doc/cudd-devel/cudd/icons/ch_end_r.png
/usr/share/doc/cudd-devel/cudd/icons/contents.png
/usr/share/doc/cudd-devel/cudd/icons/crossref.png
/usr/share/doc/cudd-devel/cudd/icons/footnote.png
/usr/share/doc/cudd-devel/cudd/icons/greenball.png
/usr/share/doc/cudd-devel/cudd/icons/image.png
/usr/share/doc/cudd-devel/cudd/icons/index.png
/usr/share/doc/cudd-devel/cudd/icons/next.png
/usr/share/doc/cudd-devel/cudd/icons/next_g.png
/usr/share/doc/cudd-devel/cudd/icons/nx_grp.png
/usr/share/doc/cudd-devel/cudd/icons/nx_grp_g.png
/usr/share/doc/cudd-devel/cudd/icons/orangeball.png
/usr/share/doc/cudd-devel/cudd/icons/pinkball.png
/usr/share/doc/cudd-devel/cudd/icons/prev.png
/usr/share/doc/cudd-devel/cudd/icons/prev_g.png
/usr/share/doc/cudd-devel/cudd/icons/purpleball.png
/usr/share/doc/cudd-devel/cudd/icons/pv_grp.png
/usr/share/doc/cudd-devel/cudd/icons/pv_grp_g.png
/usr/share/doc/cudd-devel/cudd/icons/redball.png
/usr/share/doc/cudd-devel/cudd/icons/up.png
/usr/share/doc/cudd-devel/cudd/icons/up_g.png
/usr/share/doc/cudd-devel/cudd/icons/whiteball.png
/usr/share/doc/cudd-devel/cudd/icons/yellowball.png
/usr/share/doc/cudd-devel/cudd/img1.png
/usr/share/doc/cudd-devel/cudd/img10.png
/usr/share/doc/cudd-devel/cudd/img11.png
/usr/share/doc/cudd-devel/cudd/img12.png
/usr/share/doc/cudd-devel/cudd/img13.png
/usr/share/doc/cudd-devel/cudd/img14.png
/usr/share/doc/cudd-devel/cudd/img15.png
/usr/share/doc/cudd-devel/cudd/img16.png
/usr/share/doc/cudd-devel/cudd/img17.png
/usr/share/doc/cudd-devel/cudd/img18.png
/usr/share/doc/cudd-devel/cudd/img19.png
/usr/share/doc/cudd-devel/cudd/img2.png
/usr/share/doc/cudd-devel/cudd/img20.png
/usr/share/doc/cudd-devel/cudd/img21.png
/usr/share/doc/cudd-devel/cudd/img22.png
/usr/share/doc/cudd-devel/cudd/img3.png
/usr/share/doc/cudd-devel/cudd/img4.png
/usr/share/doc/cudd-devel/cudd/img5.png
/usr/share/doc/cudd-devel/cudd/img6.png
/usr/share/doc/cudd-devel/cudd/img7.png
/usr/share/doc/cudd-devel/cudd/img8.png
/usr/share/doc/cudd-devel/cudd/img9.png
/usr/share/doc/cudd-devel/cudd/index.html
/usr/share/doc/cudd-devel/cudd/node1.html
/usr/share/doc/cudd-devel/cudd/node2.html
/usr/share/doc/cudd-devel/cudd/node3.html
/usr/share/doc/cudd-devel/cudd/node4.html
/usr/share/doc/cudd-devel/cudd/node5.html
/usr/share/doc/cudd-devel/cudd/node6.html
/usr/share/doc/cudd-devel/cudd/node7.html
/usr/share/doc/cudd-devel/cudd/node8.html
/usr/share/doc/cudd-devel/dddmp
/usr/share/doc/cudd-devel/dddmp/README.dddmp
/usr/share/doc/cudd-devel/dddmp/README.testdddmp
/usr/share/doc/cudd-devel/dddmp/RELEASE_NOTES
/usr/share/doc/cudd-devel/dddmp/cmdIndex.html
/usr/share/doc/cudd-devel/dddmp/commands.html
/usr/share/doc/cudd-devel/dddmp/credit.html
/usr/share/doc/cudd-devel/dddmp/dddmp-2.0-A4.ps
/usr/share/doc/cudd-devel/dddmp/dddmp-2.0-Letter.ps
/usr/share/doc/cudd-devel/dddmp/dddmpAllAbs.html
/usr/share/doc/cudd-devel/dddmp/dddmpAllByFile.html
/usr/share/doc/cudd-devel/dddmp/dddmpAllByFunc.html
/usr/share/doc/cudd-devel/dddmp/dddmpAllDet.html
/usr/share/doc/cudd-devel/dddmp/dddmpAllFile.html
/usr/share/doc/cudd-devel/dddmp/dddmpDesc.html
/usr/share/doc/cudd-devel/dddmp/dddmpDoc.txt
/usr/share/doc/cudd-devel/dddmp/dddmpExt.html
/usr/share/doc/cudd-devel/dddmp/dddmpExtAbs.html
/usr/share/doc/cudd-devel/dddmp/dddmpExtDet.html
/usr/share/doc/cudd-devel/dddmp/dddmpTitle.html
/usr/share/doc/cudd-devel/dddmp/packages.html
/usr/share/doc/cudd-devel/dddmp/pkgIndex.html
/usr/share/doc/cudd-devel/mtr
/usr/share/doc/cudd-devel/mtr/mtr.doc
/usr/share/doc/cudd-devel/mtr/mtrAllAbs.html
/usr/share/doc/cudd-devel/mtr/mtrAllDet.html
/usr/share/doc/cudd-devel/mtr/mtrExtAbs.html
/usr/share/doc/cudd-devel/mtr/mtrExtDet.html
/usr/share/doc/cudd-devel/st
/usr/share/doc/cudd-devel/st/stAllAbs.html
/usr/share/doc/cudd-devel/st/stAllDet.html
/usr/share/doc/cudd-devel/st/stExtAbs.html
/usr/share/doc/cudd-devel/st/stExtDet.html


Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Mar 28 23:06:15 2024