drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/extunix
|
-rw-r--r-- | 355 | root |
root |
/usr/lib/ocaml/extunix/META
|
-rw-r--r-- | 122928 | root |
root |
/usr/lib/ocaml/extunix/extUnix.cmi
|
-rw-r--r-- | 437214 | root |
root |
/usr/lib/ocaml/extunix/extunix.cma
|
-rwxr-xr-x | 274808 | root |
root |
/usr/lib/ocaml/extunix/extunix.cmxs
|
-rwxr-xr-x | 80872 | root |
root |
/usr/lib/ocaml/stublibs/dllextunix_stubs.so
|
-rw-r--r-- | 8 | root |
root |
/usr/lib/ocaml/stublibs/dllextunix_stubs.so.owner
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-extunix
|
-rw-r--r-- | 2453 | root |
root |
/usr/share/doc/ocaml-extunix/CHANGES.txt
|
-rw-r--r-- | 4660 | root |
root |
/usr/share/doc/ocaml-extunix/README.txt
|
-rw-r--r-- | 748 | root |
root |
/usr/share/doc/ocaml-extunix/TODO
|