Files
drwxr-xr-x | 4096 | root | root | /usr/lib64/ocaml/brlapi |
-rwxr-xr-x | 163 | root | root | /usr/lib64/ocaml/brlapi/META |
-rwxr-xr-x | 13093 | root | root | /usr/lib64/ocaml/brlapi/brlapi.cma |
-rwxr-xr-x | 17508 | root | root | /usr/lib64/ocaml/brlapi/brlapi.cmi |
-rwxr-xr-x | 28072 | root | root | /usr/lib64/ocaml/stublibs/dllbrlapi_stubs.so |
-rw-r--r-- | 7 | root | root | /usr/lib64/ocaml/stublibs/dllbrlapi_stubs.so.owner |