Files
-rw-r--r-- | 30202 | root | root | /usr/lib/ocaml/brlapi/brlapi.a |
-rw-r--r-- | 7436 | root | root | /usr/lib/ocaml/brlapi/brlapi.cmx |
-rwxr-xr-x | 519 | root | root | /usr/lib/ocaml/brlapi/brlapi.cmxa |
-rw-r--r-- | 12669 | root | root | /usr/lib/ocaml/brlapi/brlapi.mli |
-rwxr-xr-x | 15654 | root | root | /usr/lib/ocaml/brlapi/libbrlapi_stubs.a |