drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/creal
|
-rw-r--r-- | 67824 | root |
root |
/usr/lib/ocaml/creal/creal.a
|
-rw-r--r-- | 135511 | root |
root |
/usr/lib/ocaml/creal/creal.cma
|
-rw-r--r-- | 3678 | root |
root |
/usr/lib/ocaml/creal/creal.cmi
|
-rw-r--r-- | 763 | root |
root |
/usr/lib/ocaml/creal/creal.cmxa
|
-rw-r--r-- | 3190 | root |
root |
/usr/lib/ocaml/creal/creal.mli
|
-rw-r--r-- | 10186 | root |
root |
/usr/lib/ocaml/creal/gmp.a
|
-rw-r--r-- | 34090 | root |
root |
/usr/lib/ocaml/creal/gmp.cma
|
-rw-r--r-- | 19312 | root |
root |
/usr/lib/ocaml/creal/gmp.cmi
|
-rw-r--r-- | 454 | root |
root |
/usr/lib/ocaml/creal/gmp.cmxa
|
-rw-r--r-- | 9737 | root |
root |
/usr/lib/ocaml/creal/gmp.mli
|
-rw-r--r-- | 62970 | root |
root |
/usr/lib/ocaml/creal/libcreal.a
|
-rw-r--r-- | 62970 | root |
root |
/usr/lib/ocaml/creal/libmlgmp.a
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-creal-devel-0.6
|
-rw-r--r-- | 1306 | root |
root |
/usr/share/doc/ocaml-creal-devel-0.6/CHANGES
|
-rw-r--r-- | 1066 | root |
root |
/usr/share/doc/ocaml-creal-devel-0.6/README
|