| -rw-r--r-- | 19 | root |
root |
/etc/prelink.conf.d/ocaml-mlgmpidl-prelink.conf
|
| -rwxr-xr-x | 2352902 | root |
root |
/usr/bin/gmptop
|
| drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/mlgmpidl
|
| -rw-r--r-- | 211 | root |
root |
/usr/lib/ocaml/mlgmpidl/META
|
| -rw-r--r-- | 121508 | root |
root |
/usr/lib/ocaml/mlgmpidl/gmp.cma
|
| -rw-r--r-- | 1982 | root |
root |
/usr/lib/ocaml/mlgmpidl/gmp_random.cmi
|
| -rw-r--r-- | 8498 | root |
root |
/usr/lib/ocaml/mlgmpidl/mpf.cmi
|
| -rw-r--r-- | 23571 | root |
root |
/usr/lib/ocaml/mlgmpidl/mpfr.cmi
|
| -rw-r--r-- | 4724 | root |
root |
/usr/lib/ocaml/mlgmpidl/mpfrf.cmi
|
| -rw-r--r-- | 5033 | root |
root |
/usr/lib/ocaml/mlgmpidl/mpq.cmi
|
| -rw-r--r-- | 2637 | root |
root |
/usr/lib/ocaml/mlgmpidl/mpqf.cmi
|
| -rw-r--r-- | 20116 | root |
root |
/usr/lib/ocaml/mlgmpidl/mpz.cmi
|
| -rw-r--r-- | 3021 | root |
root |
/usr/lib/ocaml/mlgmpidl/mpzf.cmi
|
| drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-mlgmpidl-1.1
|
| -rw-r--r-- | 26648 | root |
root |
/usr/share/doc/ocaml-mlgmpidl-1.1/COPYING
|
| -rw-r--r-- | 2718 | root |
root |
/usr/share/doc/ocaml-mlgmpidl-1.1/README
|
