-rwxr-xr-x | 168030 | root |
root |
/usr/bin/expungeduce
|
-rwxr-xr-x | 1867832 | root |
root |
/usr/bin/ocamlduce
|
-rwxr-xr-x | 2490904 | root |
root |
/usr/bin/ocamlducec
|
-rwxr-xr-x | 983512 | root |
root |
/usr/bin/ocamlducedep
|
-rwxr-xr-x | 2686016 | root |
root |
/usr/bin/ocamlducedoc
|
-rwxr-xr-x | 130 | root |
root |
/usr/bin/ocamlducefind
|
-rwxr-xr-x | 1005 | root |
root |
/usr/bin/ocamlducemktop
|
-rwxr-xr-x | 2324408 | root |
root |
/usr/bin/ocamlduceopt
|
drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce
|
-rw-r--r-- | 150 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/META
|
-rw-r--r-- | 119652 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/cduce_types.cmi
|
-rw-r--r-- | 702274 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/cduce_types.o
|
-rw-r--r-- | 805810 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/ocamlduce.a
|
-rw-r--r-- | 336639 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/ocamlduce.cma
|
-rw-r--r-- | 5847 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/ocamlduce.cmi
|
-rw-r--r-- | 2517 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/ocamlduce.cmxa
|
-rw-r--r-- | 7063 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/ocamlduce.mli
|
-rw-r--r-- | 30780 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/ocamlduce.o
|
-rw-r--r-- | 1433 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/topdirs.cmi
|
-rw-r--r-- | 1925730 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/toplevelducelib.cma
|
-rw-r--r-- | 5352 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/toploop.cmi
|
-rw-r--r-- | 199 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/topmain.cmi
|
-rw-r--r-- | 192 | root |
root |
/usr/lib/ocaml/site-lib/ocamlduce/topstart.cmo
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocamlduce
|
-rw-r--r-- | 374 | root |
root |
/usr/share/doc/ocamlduce/LICENSE
|
-rw-r--r-- | 3074 | root |
root |
/usr/share/doc/ocamlduce/README
|