drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/77
|
lrwxrwxrwx | 47 | root |
root |
/usr/lib/.build-id/77/77b12a1e5a995ba04bea40b9423f9abb9be422
|
-rw-r--r-- | 1379 | root |
root |
/usr/lib64/ocaml/arith_status.cmi
|
-rw-r--r-- | 7986 | root |
root |
/usr/lib64/ocaml/big_int.cmi
|
-rw-r--r-- | 10674 | root |
root |
/usr/lib64/ocaml/nat.cmi
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/ocaml/num
|
drwxr-xr-x | 0 | root |
root |
/usr/lib64/ocaml/num-top
|
-rw-r--r-- | 6875 | root |
root |
/usr/lib64/ocaml/num.cmi
|
-rw-r--r-- | 352832 | root |
root |
/usr/lib64/ocaml/nums.cma
|
-rw-r--r-- | 308648 | root |
root |
/usr/lib64/ocaml/nums.cmxs
|
-rw-r--r-- | 7550 | root |
root |
/usr/lib64/ocaml/ratio.cmi
|
-rw-r--r-- | 123 | root |
root |
/usr/lib64/ocaml/num-top/META
|
-rw-r--r-- | 7817 | root |
root |
/usr/lib64/ocaml/num-top/num_top.cma
|
-rw-r--r-- | 187 | root |
root |
/usr/lib64/ocaml/num-top/num_top.cmi
|
-rw-r--r-- | 1111 | root |
root |
/usr/lib64/ocaml/num-top/num_top_printers.cmi
|
-rw-r--r-- | 647 | root |
root |
/usr/lib64/ocaml/num/META
|
-rwxr-xr-x | 20080 | root |
root |
/usr/lib64/ocaml/stublibs/dllnums.so
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/ocaml-num
|
-rw-r--r-- | 1129 | root |
root |
/usr/share/doc/ocaml-num/Changelog
|
-rw-r--r-- | 2351 | root |
root |
/usr/share/doc/ocaml-num/README.md
|
drwxr-xr-x | 0 | root |
root |
/usr/share/licenses/ocaml-num
|
-rw-r--r-- | 27256 | root |
root |
/usr/share/licenses/ocaml-num/LICENSE
|