Files
drwxr-xr-x | 4096 | root | root | /usr/lib64/ocaml/facile |
-rw-r--r-- | 812714 | root | root | /usr/lib64/ocaml/facile/facile.a |
-rw-r--r-- | 1038986 | root | root | /usr/lib64/ocaml/facile/facile.cma |
-rw-r--r-- | 49896 | root | root | /usr/lib64/ocaml/facile/facile.cmi |
-rw-r--r-- | 16457 | root | root | /usr/lib64/ocaml/facile/facile.cmxa |