drwxr-xr-x | 4096 | root |
root |
/usr/lib64/ocaml/pomap
|
-rw-r--r-- | 318 | root |
root |
/usr/lib64/ocaml/pomap/META
|
-rw-r--r-- | 1731 | root |
root |
/usr/lib64/ocaml/pomap/display_hasse_impl.cmi
|
-rw-r--r-- | 1373 | root |
root |
/usr/lib64/ocaml/pomap/display_hasse_intf.cmi
|
-rw-r--r-- | 225294 | root |
root |
/usr/lib64/ocaml/pomap/pomap.cma
|
-rwxr-xr-x | 134456 | root |
root |
/usr/lib64/ocaml/pomap/pomap.cmxs
|
-rw-r--r-- | 9217 | root |
root |
/usr/lib64/ocaml/pomap/pomap_impl.cmi
|
-rw-r--r-- | 9367 | root |
root |
/usr/lib64/ocaml/pomap/pomap_intf.cmi
|
-rw-r--r-- | 2521 | root |
root |
/usr/lib64/ocaml/pomap/ptset.cmi
|
-rw-r--r-- | 329 | root |
root |
/usr/lib64/ocaml/pomap/store_impl.cmi
|
-rw-r--r-- | 8824 | root |
root |
/usr/lib64/ocaml/pomap/store_intf.cmi
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-pomap
|
-rw-r--r-- | 219 | root |
root |
/usr/share/doc/ocaml-pomap/AUTHORS.txt
|
-rw-r--r-- | 4275 | root |
root |
/usr/share/doc/ocaml-pomap/CHANGES.txt
|
-rw-r--r-- | 27447 | root |
root |
/usr/share/doc/ocaml-pomap/COPYING.txt
|
-rw-r--r-- | 8842 | root |
root |
/usr/share/doc/ocaml-pomap/README.md
|