Files
drwxr-xr-x | 4096 | root | root | /usr/lib64/ocaml/preludeml |
-rw-r--r-- | 161 | root | root | /usr/lib64/ocaml/preludeml/META |
-rw-r--r-- | 222856 | root | root | /usr/lib64/ocaml/preludeml/prelude.cmi |
-rw-r--r-- | 865069 | root | root | /usr/lib64/ocaml/preludeml/prelude.cmo |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ocaml-preludeml-0.1 |
-rw-r--r-- | 1133 | root | root | /usr/share/doc/ocaml-preludeml-0.1/LICENSE |