Files
-rwxr-xr-x | 801920 | root | root | /usr/lib/debug/usr/bin/ocamlducec.opt.debug |
-rwxr-xr-x | 437704 | root | root | /usr/lib/debug/usr/bin/ocamlducedep.opt.debug |
-rwxr-xr-x | 1070376 | root | root | /usr/lib/debug/usr/bin/ocamlducedoc.opt.debug |
-rwxr-xr-x | 883080 | root | root | /usr/lib/debug/usr/bin/ocamlduceopt.opt.debug |