Files
drwxr-xr-x | 0 | root | root | /usr/lib64/ocaml/facile |
-rw-r--r-- | 114 | root | root | /usr/lib64/ocaml/facile/META |
-rw-r--r-- | 1349026 | root | root | /usr/lib64/ocaml/facile/facile.cma |
-rw-r--r-- | 68197 | root | root | /usr/lib64/ocaml/facile/facile.cmi |
drwxr-xr-x | 0 | root | root | /usr/share/doc/ocaml-facile |
-rw-r--r-- | 19235 | root | root | /usr/share/doc/ocaml-facile/LICENSE |
-rw-r--r-- | 1344 | root | root | /usr/share/doc/ocaml-facile/README |