drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/pa_do
|
-rw-r--r-- | 1446 | root |
root |
/usr/lib/ocaml/pa_do/META
|
-rw-r--r-- | 15191 | root |
root |
/usr/lib/ocaml/pa_do/pa_do.cmi
|
-rw-r--r-- | 1480320 | root |
root |
/usr/lib/ocaml/pa_do/pa_do.cmo
|
-rw-r--r-- | 949 | root |
root |
/usr/lib/ocaml/pa_do/pa_do_nums.cmi
|
-rw-r--r-- | 34730 | root |
root |
/usr/lib/ocaml/pa_do/pa_do_nums.cmo
|
-rw-r--r-- | 5004 | root |
root |
/usr/lib/ocaml/pa_do/pa_do_top.cma
|
-rw-r--r-- | 1141 | root |
root |
/usr/lib/ocaml/pa_do/pa_do_top.cmi
|
-rw-r--r-- | 3843 | root |
root |
/usr/lib/ocaml/pa_do/pa_infix.cmi
|
-rw-r--r-- | 282291 | root |
root |
/usr/lib/ocaml/pa_do/pa_infix.cmo
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-pa-do-0.8.12
|
-rw-r--r-- | 27365 | root |
root |
/usr/share/doc/ocaml-pa-do-0.8.12/LICENSE
|