Files
-rwxr-xr-x | 152384 | root | root | /usr/bin/nanotrav |
lrwxrwxrwx | 16 | root | root | /usr/lib/libcudd.so.2 |
-rwxr-xr-x | 458672 | root | root | /usr/lib/libcudd.so.2.4.2 |
lrwxrwxrwx | 19 | root | root | /usr/lib/libcuddobj.so.2 |
-rwxr-xr-x | 151420 | root | root | /usr/lib/libcuddobj.so.2.4.2 |
lrwxrwxrwx | 18 | root | root | /usr/lib/libcuddst.so.2 |
-rwxr-xr-x | 10028 | root | root | /usr/lib/libcuddst.so.2.4.2 |
lrwxrwxrwx | 20 | root | root | /usr/lib/libcuddutil.so.2 |
-rwxr-xr-x | 12048 | root | root | /usr/lib/libcuddutil.so.2.4.2 |
lrwxrwxrwx | 17 | root | root | /usr/lib/libdddmp.so.2 |
-rwxr-xr-x | 84572 | root | root | /usr/lib/libdddmp.so.2.4.2 |
lrwxrwxrwx | 15 | root | root | /usr/lib/libepd.so.2 |
-rwxr-xr-x | 15356 | root | root | /usr/lib/libepd.so.2.4.2 |
lrwxrwxrwx | 15 | root | root | /usr/lib/libmtr.so.2 |
-rwxr-xr-x | 10124 | root | root | /usr/lib/libmtr.so.2.4.2 |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/cudd-2.4.2 |
-rw-r--r-- | 1510 | root | root | /usr/share/doc/cudd-2.4.2/LICENSE |
-rw-r--r-- | 6522 | root | root | /usr/share/doc/cudd-2.4.2/README |
-rw-r--r-- | 1451 | root | root | /usr/share/doc/cudd-2.4.2/RELEASE.NOTES |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav |
-rw-r--r-- | 2104 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav/README |
-rw-r--r-- | 1528 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav/bnetAllAbs.html |
-rw-r--r-- | 6159 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav/bnetAllDet.html |
-rw-r--r-- | 1548 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav/bnetExtAbs.html |
-rw-r--r-- | 6177 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav/bnetExtDet.html |
-rw-r--r-- | 4252 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav/ntrAllAbs.html |
-rw-r--r-- | 15199 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav/ntrAllDet.html |
-rw-r--r-- | 4133 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav/ntrExtAbs.html |
-rw-r--r-- | 14995 | root | root | /usr/share/doc/cudd-2.4.2/nanotrav/ntrExtDet.html |
-rw-r--r-- | 4744 | root | root | /usr/share/man/man1/nanotrav.1.gz |