Files
-rwxr-xr-x | 1591281 | root | root | /usr/bin/ocamlify |
drwxr-xr-x | 0 | root | root | /usr/share/doc/ocamlify |
-rw-r--r-- | 132 | root | root | /usr/share/doc/ocamlify/AUTHORS.txt |
-rw-r--r-- | 27444 | root | root | /usr/share/doc/ocamlify/COPYING.txt |
-rw-r--r-- | 843 | root | root | /usr/share/doc/ocamlify/INSTALL.txt |
-rw-r--r-- | 303 | root | root | /usr/share/doc/ocamlify/README.txt |