-rw-r--r-- | 21856 | root |
root |
/usr/lib/ocaml/pa_do/delimited_overloading.mli
|
-rw-r--r-- | 8590 | root |
root |
/usr/lib/ocaml/pa_do/macro.mli
|
-rw-r--r-- | 12030 | root |
root |
/usr/lib/ocaml/pa_do/pa_do.cmx
|
-rw-r--r-- | 1264 | root |
root |
/usr/lib/ocaml/pa_do/pa_do_nums.cmx
|
-rw-r--r-- | 738 | root |
root |
/usr/lib/ocaml/pa_do/pa_do_nums.mli
|
-rw-r--r-- | 3540 | root |
root |
/usr/lib/ocaml/pa_do/pa_infix.cmx
|
-rw-r--r-- | 11753 | root |
root |
/usr/lib/ocaml/pa_do/pa_infix.mli
|
-rw-r--r-- | 8683 | root |
root |
/usr/lib/ocaml/pa_do/std.mli
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-pa-do-devel-0.8.10
|
-rw-r--r-- | 1274 | root |
root |
/usr/share/doc/ocaml-pa-do-devel-0.8.10/README
|