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 |