Files
-rwxr-xr-x | 669988 | root | root | /usr/lib/debug/usr/bin/ocamlducec.opt.debug |
-rwxr-xr-x | 372164 | root | root | /usr/lib/debug/usr/bin/ocamlducedep.opt.debug |
-rwxr-xr-x | 892988 | root | root | /usr/lib/debug/usr/bin/ocamlducedoc.opt.debug |
-rwxr-xr-x | 741264 | root | root | /usr/lib/debug/usr/bin/ocamlduceopt.opt.debug |