Files
drwxr-xr-x | 4096 | root | root | /usr/lib64/ocaml/site-lib/creal |
-rw-r--r-- | 4234 | root | root | /usr/lib64/ocaml/site-lib/creal/cr.cmi |
-rw-r--r-- | 4009 | root | root | /usr/lib64/ocaml/site-lib/creal/creal.cmi |
-rw-r--r-- | 19333 | root | root | /usr/lib64/ocaml/site-lib/creal/gmp.cmi |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ocaml-creal |
-rw-r--r-- | 1803 | root | root | /usr/share/doc/ocaml-creal/CHANGES |
-rw-r--r-- | 1377 | root | root | /usr/share/doc/ocaml-creal/README |