Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ocaml/facile |
-rw-r--r-- | 1063233 | root | root | /usr/lib/ocaml/facile/facile.cma |
-rw-r--r-- | 49958 | root | root | /usr/lib/ocaml/facile/facile.cmi |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ocaml-facile-1.1 |
-rw-r--r-- | 19235 | root | root | /usr/share/doc/ocaml-facile-1.1/LICENSE |
-rw-r--r-- | 1344 | root | root | /usr/share/doc/ocaml-facile-1.1/README |