-rwxr-xr-x | 3789500 | root |
root |
/usr/bin/optcomp-o
|
-rwxr-xr-x | 3524004 | root |
root |
/usr/bin/optcomp-r
|
drwxr-xr-x | 200 | root |
root |
/usr/lib/ocaml/optcomp
|
-rw-r--r-- | 296 | root |
root |
/usr/lib/ocaml/optcomp/META
|
-rw-r--r-- | 119722 | root |
root |
/usr/lib/ocaml/optcomp/optcomp.cma
|
-rwxr-xr-x | 17336 | root |
root |
/usr/lib/ocaml/optcomp/optcomp.cmxs
|
-rw-r--r-- | 5471 | root |
root |
/usr/lib/ocaml/optcomp/pa_optcomp.cmi
|
drwxr-xr-x | 80 | root |
root |
/usr/share/doc/ocaml-optcomp
|
-rw-r--r-- | 695 | root |
root |
/usr/share/doc/ocaml-optcomp/CHANGES
|
-rw-r--r-- | 2587 | root |
root |
/usr/share/doc/ocaml-optcomp/README
|