Files
-rwxr-xr-x | 564148 | root | root | /usr/bin/ocamlify |
drwxr-xr-x | 4096 | 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-- | 837 | root | root | /usr/share/doc/ocamlify/INSTALL.txt |
-rw-r--r-- | 303 | root | root | /usr/share/doc/ocamlify/README.txt |