Files
| drwxr-xr-x | 4096 | root | root | /usr/lib64/ocaml/facile |
| -rw-r--r-- | 833562 | root | root | /usr/lib64/ocaml/facile/facile.a |
| -rw-r--r-- | 1039219 | root | root | /usr/lib64/ocaml/facile/facile.cma |
| -rw-r--r-- | 49958 | root | root | /usr/lib64/ocaml/facile/facile.cmi |
| -rw-r--r-- | 16078 | root | root | /usr/lib64/ocaml/facile/facile.cmxa |
