| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/ocaml/brlapi
|
| -rwxr-xr-x | 163 | root |
root |
/usr/lib64/ocaml/brlapi/META
|
| -rwxr-xr-x | 11509 | root |
root |
/usr/lib64/ocaml/brlapi/brlapi.cma
|
| -rwxr-xr-x | 14927 | root |
root |
/usr/lib64/ocaml/brlapi/brlapi.cmi
|
| -rwxr-xr-x | 334 | root |
root |
/usr/lib64/ocaml/brlapi/brlapi.cmxa
|
| -rwxr-xr-x | 10832 | root |
root |
/usr/lib64/ocaml/brlapi/brlapi.mli
|
| -rwxr-xr-x | 27558 | root |
root |
/usr/lib64/ocaml/brlapi/libbrlapi_stubs.a
|
| -rwxr-xr-x | 24224 | root |
root |
/usr/lib64/ocaml/stublibs/dllbrlapi_stubs.so
|
| -rw-r--r-- | 7 | root |
root |
/usr/lib64/ocaml/stublibs/dllbrlapi_stubs.so.owner
|
