drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/f5
|
lrwxrwxrwx | 45 | root |
root |
/usr/lib/.build-id/f5/0c3bc45c6e4e95c93ecde559eb9e7fb7d7d136
|
-rw-r--r-- | 1324 | root |
root |
/usr/lib/ocaml/arith_status.cmi
|
-rw-r--r-- | 7678 | root |
root |
/usr/lib/ocaml/big_int.cmi
|
-rw-r--r-- | 10422 | root |
root |
/usr/lib/ocaml/nat.cmi
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/ocaml/num
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/ocaml/num-top
|
-rw-r--r-- | 6583 | root |
root |
/usr/lib/ocaml/num.cmi
|
-rw-r--r-- | 318790 | root |
root |
/usr/lib/ocaml/nums.cma
|
-rw-r--r-- | 253632 | root |
root |
/usr/lib/ocaml/nums.cmxs
|
-rw-r--r-- | 7255 | root |
root |
/usr/lib/ocaml/ratio.cmi
|
-rw-r--r-- | 123 | root |
root |
/usr/lib/ocaml/num-top/META
|
-rw-r--r-- | 16243 | root |
root |
/usr/lib/ocaml/num-top/num_top.cma
|
-rw-r--r-- | 187 | root |
root |
/usr/lib/ocaml/num-top/num_top.cmi
|
-rw-r--r-- | 1060 | root |
root |
/usr/lib/ocaml/num-top/num_top_printers.cmi
|
-rw-r--r-- | 549 | root |
root |
/usr/lib/ocaml/num/META
|
-rwxr-xr-x | 23476 | root |
root |
/usr/lib/ocaml/stublibs/dllnums.so
|
drwxr-xr-x | 0 | root |
root |
/usr/share/doc/ocaml-num
|
-rw-r--r-- | 474 | 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
|