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 |
