Files
-rwxr-xr-x | 640872 | root | root | /usr/lib/debug/usr/bin/ocamlducec.debug |
-rwxr-xr-x | 351372 | root | root | /usr/lib/debug/usr/bin/ocamlducedep.debug |
-rwxr-xr-x | 869336 | root | root | /usr/lib/debug/usr/bin/ocamlducedoc.debug |
-rwxr-xr-x | 709180 | root | root | /usr/lib/debug/usr/bin/ocamlduceopt.debug |