Files
drwxr-xr-x | 4096 | root | root | /usr/lib/ocaml/rtime |
-rw-r--r-- | 331 | root | root | /usr/lib/ocaml/rtime/META |
-rw-r--r-- | 33163 | root | root | /usr/lib/ocaml/rtime/rtime.cma |
-rw-r--r-- | 1836 | root | root | /usr/lib/ocaml/rtime/rtime.cmi |
-rwxr-xr-x | 24916 | root | root | /usr/lib/ocaml/rtime/rtime.cmxs |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ocaml-rtime |
-rw-r--r-- | 399 | root | root | /usr/share/doc/ocaml-rtime/CHANGES |
-rw-r--r-- | 2082 | root | root | /usr/share/doc/ocaml-rtime/README |