Files
-rw-r--r-- | 2737 | root | root | /usr/lib/ocaml/zarith/big_int_Z.mli |
-rw-r--r-- | 53426 | root | root | /usr/lib/ocaml/zarith/libzarith.a |
-rw-r--r-- | 6636 | root | root | /usr/lib/ocaml/zarith/q.mli |
-rw-r--r-- | 17363 | root | root | /usr/lib/ocaml/zarith/z.mli |
-rw-r--r-- | 50266 | root | root | /usr/lib/ocaml/zarith/zarith.a |
-rw-r--r-- | 891 | root | root | /usr/lib/ocaml/zarith/zarith.cmxa |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/ocaml-zarith-devel-1.1 |
-rw-r--r-- | 4002 | root | root | /usr/share/doc/ocaml-zarith-devel-1.1/README |