drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/pa_do
|
-rw-r--r-- | 1690 | root |
root |
/usr/lib/ocaml/pa_do/META
|
-rw-r--r-- | 14712 | root |
root |
/usr/lib/ocaml/pa_do/pa_do.cmi
|
-rw-r--r-- | 1354931 | 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-- | 34234 | root |
root |
/usr/lib/ocaml/pa_do/pa_do_nums.cmo
|
-rw-r--r-- | 4920 | root |
root |
/usr/lib/ocaml/pa_do/pa_do_top.cma
|
-rw-r--r-- | 1111 | 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-- | 263973 | root |
root |
/usr/lib/ocaml/pa_do/pa_infix.cmo
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-pa-do-0.8.10
|
-rw-r--r-- | 27365 | root |
root |
/usr/share/doc/ocaml-pa-do-0.8.10/LICENSE
|