Files
-rw-r--r-- | 36788 | root | root | /usr/lib64/ocaml/brlapi/brlapi.a |
-rw-r--r-- | 977 | root | root | /usr/lib64/ocaml/brlapi/brlapi.cmx |
-rwxr-xr-x | 334 | root | root | /usr/lib64/ocaml/brlapi/brlapi.cmxa |
-rwxr-xr-x | 11811 | root | root | /usr/lib64/ocaml/brlapi/brlapi.mli |
-rwxr-xr-x | 28078 | root | root | /usr/lib64/ocaml/brlapi/libbrlapi_stubs.a |