Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ocaml/rtime |
-rw-r--r-- | 205 | root | root | /usr/lib/ocaml/rtime/META |
-rw-r--r-- | 1747 | root | root | /usr/lib/ocaml/rtime/rtime.cmi |
-rw-r--r-- | 5779 | root | root | /usr/lib/ocaml/rtime/rtime.cmo |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ocaml-rtime |
-rw-r--r-- | 54 | root | root | /usr/share/doc/ocaml-rtime/CHANGES |
-rw-r--r-- | 2221 | root | root | /usr/share/doc/ocaml-rtime/README |