Files
drwxr-xr-x | 4096 | root | root | /usr/lib/debug |
drwxr-xr-x | 4096 | root | root | /usr/lib/debug/usr |
drwxr-xr-x | 4096 | root | root | /usr/lib/debug/usr/bin |
-r--r--r-- | 699028 | root | root | /usr/lib/debug/usr/bin/ocamlducec.opt.debug |
-r--r--r-- | 383760 | root | root | /usr/lib/debug/usr/bin/ocamlducedep.opt.debug |
-r--r--r-- | 771188 | root | root | /usr/lib/debug/usr/bin/ocamlduceopt.opt.debug |