| drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/creal
|
| -rw-r--r-- | 4235 | root |
root |
/usr/lib/ocaml/creal/cr.cmi
|
| -rw-r--r-- | 250074 | root |
root |
/usr/lib/ocaml/creal/creal.cma
|
| -rw-r--r-- | 4010 | root |
root |
/usr/lib/ocaml/creal/creal.cmi
|
| -rw-r--r-- | 34353 | root |
root |
/usr/lib/ocaml/creal/gmp.cma
|
| -rw-r--r-- | 19336 | root |
root |
/usr/lib/ocaml/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
|
