| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/ocaml/pareto
|
| -rw-r--r-- | 334 | root |
root |
/usr/lib64/ocaml/pareto/META
|
| -rw-r--r-- | 416300 | root |
root |
/usr/lib64/ocaml/pareto/pareto.cma
|
| -rw-r--r-- | 42023 | root |
root |
/usr/lib64/ocaml/pareto/pareto.cmi
|
| -rwxr-xr-x | 249976 | root |
root |
/usr/lib64/ocaml/pareto/pareto.cmxs
|
| -rwxr-xr-x | 6856 | root |
root |
/usr/lib64/ocaml/stublibs/dllpareto_stubs.so
|
| -rw-r--r-- | 7 | root |
root |
/usr/lib64/ocaml/stublibs/dllpareto_stubs.so.owner
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-pareto
|
| -rw-r--r-- | 1355 | root |
root |
/usr/share/doc/ocaml-pareto/CHANGES
|
| -rw-r--r-- | 1058 | root |
root |
/usr/share/doc/ocaml-pareto/LICENSE
|
| -rw-r--r-- | 1742 | root |
root |
/usr/share/doc/ocaml-pareto/README.md
|
