| drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/zarith
|
| -rw-r--r-- | 138 | root |
root |
/usr/lib/ocaml/zarith/META
|
| -rw-r--r-- | 5819 | root |
root |
/usr/lib/ocaml/zarith/big_int_Z.cmi
|
| -rwxr-xr-x | 59912 | root |
root |
/usr/lib/ocaml/zarith/dllzarith.so
|
| -rw-r--r-- | 5056 | root |
root |
/usr/lib/ocaml/zarith/q.cmi
|
| -rw-r--r-- | 11236 | root |
root |
/usr/lib/ocaml/zarith/z.cmi
|
| -rw-r--r-- | 18459 | root |
root |
/usr/lib/ocaml/zarith/zarith.cma
|
| -rwxr-xr-x | 6132 | root |
root |
/usr/lib/ocaml/zarith/zarith.cmxs
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-zarith
|
| -rw-r--r-- | 2282 | root |
root |
/usr/share/doc/ocaml-zarith/Changes
|
| -rw-r--r-- | 26394 | root |
root |
/usr/share/doc/ocaml-zarith/LICENSE
|
| -rw-r--r-- | 4123 | root |
root |
/usr/share/doc/ocaml-zarith/README
|
