Files
| -rwxr-xr-x | 6241004 | root | root | /usr/bin/cduce |
| -rwxr-xr-x | 815 | root | root | /usr/bin/cduce_mktop |
| -rwxr-xr-x | 2403852 | root | root | /usr/bin/dtd2cduce |
| drwxr-xr-x | 4096 | root | root | /usr/lib/ocaml/cduce |
| -rw-r--r-- | 266 | root | root | /usr/lib/ocaml/cduce/META |
| -rw-r--r-- | 3931062 | root | root | /usr/lib/ocaml/cduce/cduce_lib.cma |
| -rw-r--r-- | 273097 | root | root | /usr/lib/ocaml/cduce/cduce_lib.cmi |
| drwxr-xr-x | 4096 | root | root | /usr/share/doc/cduce-0.5.3 |
| -rw-r--r-- | 355 | root | root | /usr/share/doc/cduce-0.5.3/AUTHORS |
| -rw-r--r-- | 10609 | root | root | /usr/share/doc/cduce-0.5.3/CHANGES |
| -rw-r--r-- | 1144 | root | root | /usr/share/doc/cduce-0.5.3/LICENSE |
| -rw-r--r-- | 4123 | root | root | /usr/share/doc/cduce-0.5.3/README |
| -rw-r--r-- | 14 | root | root | /usr/share/doc/cduce-0.5.3/VERSION |
