Content of RPM cudd-2.5.1-1.fc23.x86_64.rpm :
/usr/bin/nanotrav
/usr/lib64/libcudd.so.2
/usr/lib64/libcudd.so.2.5.1
/usr/lib64/libcuddobj.so.2
/usr/lib64/libcuddobj.so.2.5.1
/usr/lib64/libcuddst.so.2
/usr/lib64/libcuddst.so.2.5.1
/usr/lib64/libcuddutil.so.2
/usr/lib64/libcuddutil.so.2.5.1
/usr/lib64/libdddmp.so.2
/usr/lib64/libdddmp.so.2.5.1
/usr/lib64/libepd.so.2
/usr/lib64/libepd.so.2.5.1
/usr/lib64/libmtr.so.2
/usr/lib64/libmtr.so.2.5.1
/usr/share/doc/cudd
/usr/share/doc/cudd/README
/usr/share/doc/cudd/RELEASE.NOTES
/usr/share/doc/cudd/nanotrav
/usr/share/doc/cudd/nanotrav/README
/usr/share/doc/cudd/nanotrav/bnetAllAbs.html
/usr/share/doc/cudd/nanotrav/bnetAllDet.html
/usr/share/doc/cudd/nanotrav/bnetExtAbs.html
/usr/share/doc/cudd/nanotrav/bnetExtDet.html
/usr/share/doc/cudd/nanotrav/ntrAllAbs.html
/usr/share/doc/cudd/nanotrav/ntrAllDet.html
/usr/share/doc/cudd/nanotrav/ntrExtAbs.html
/usr/share/doc/cudd/nanotrav/ntrExtDet.html
/usr/share/licenses/cudd
/usr/share/licenses/cudd/LICENSE
/usr/share/man/man1/nanotrav.1.gz
419601