| drwxr-xr-x | 4096 | root |
root |
/usr/lib64/ocaml/zarith
|
| -rw-r--r-- | 138 | root |
root |
/usr/lib64/ocaml/zarith/META
|
| -rw-r--r-- | 5716 | root |
root |
/usr/lib64/ocaml/zarith/big_int_Z.cmi
|
| -rwxr-xr-x | 69184 | root |
root |
/usr/lib64/ocaml/zarith/dllzarith.so
|
| -rw-r--r-- | 4917 | root |
root |
/usr/lib64/ocaml/zarith/q.cmi
|
| -rw-r--r-- | 10033 | root |
root |
/usr/lib64/ocaml/zarith/z.cmi
|
| -rw-r--r-- | 16764 | root |
root |
/usr/lib64/ocaml/zarith/zarith.cma
|
| -rwxr-xr-x | 6856 | root |
root |
/usr/lib64/ocaml/zarith/zarith.cmxs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-zarith
|
| -rw-r--r-- | 803 | root |
root |
/usr/share/doc/ocaml-zarith/Changes
|
| -rw-r--r-- | 26394 | root |
root |
/usr/share/doc/ocaml-zarith/LICENSE
|
| -rw-r--r-- | 4126 | root |
root |
/usr/share/doc/ocaml-zarith/README
|
