Repository: amd64/stable
Package time:
Size: 350014
SHA256: 0f0bdfdf777c3fd6439da2ddcc59736c928cfccf9138fa59ce59214e5d2fa743
Installed Size: 1.25 MiB
Maintainer: Mingcong Bai <jeffbai@aosc.io>
Library depends: libc.so.6
Files:
- -rwxr-xr-x root(0) root(0) 0 /usr
- -rwxr-xr-x root(0) root(0) 0
- -rwxr-xr-x root(0) root(0) 0 /usr/lib
- -rwxr-xr-x root(0) root(0) 0 /usr/share
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/ocaml
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/ocaml/num
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/ocaml/num-top
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/ocaml/stublibs
- -rw-r--r-- root(0) root(0) 208 /usr/lib/ocaml/num/arith_flags.cmx
- -rw-r--r-- root(0) root(0) 1.3K /usr/lib/ocaml/num/arith_status.cmi
- -rw-r--r-- root(0) root(0) 11K /usr/lib/ocaml/num/arith_status.cmti
- -rw-r--r-- root(0) root(0) 2.9K /usr/lib/ocaml/num/arith_status.cmx
- -rw-r--r-- root(0) root(0) 3.0K /usr/lib/ocaml/num/arith_status.mli
- -rw-r--r-- root(0) root(0) 7.8K /usr/lib/ocaml/num/big_int.cmi
- -rw-r--r-- root(0) root(0) 49K /usr/lib/ocaml/num/big_int.cmti
- -rw-r--r-- root(0) root(0) 5.7K /usr/lib/ocaml/num/big_int.cmx
- -rw-r--r-- root(0) root(0) 10K /usr/lib/ocaml/num/big_int.mli
- -rw-r--r-- root(0) root(0) 716 /usr/lib/ocaml/num/int_misc.cmx
- -rw-r--r-- root(0) root(0) 19K /usr/lib/ocaml/num/libnums.a
- -rw-r--r-- root(0) root(0) 629 /usr/lib/ocaml/num/META
- -rw-r--r-- root(0) root(0) 10K /usr/lib/ocaml/num/nat.cmi
- -rw-r--r-- root(0) root(0) 43K /usr/lib/ocaml/num/nat.cmti
- -rw-r--r-- root(0) root(0) 2.0K /usr/lib/ocaml/num/nat.cmx
- -rw-r--r-- root(0) root(0) 4.8K /usr/lib/ocaml/num/nat.mli
- -rw-r--r-- root(0) root(0) 6.7K /usr/lib/ocaml/num/num.cmi
- -rw-r--r-- root(0) root(0) 37K /usr/lib/ocaml/num/num.cmti
- -rw-r--r-- root(0) root(0) 3.9K /usr/lib/ocaml/num/num.cmx
- -rw-r--r-- root(0) root(0) 5.4K /usr/lib/ocaml/num/num.mli
- -rw-r--r-- root(0) root(0) 252K /usr/lib/ocaml/num/nums.a
- -rw-r--r-- root(0) root(0) 344K /usr/lib/ocaml/num/nums.cma
- -rw-r--r-- root(0) root(0) 3.2K /usr/lib/ocaml/num/nums.cmxa
- -rwxr-xr-x root(0) root(0) 213K /usr/lib/ocaml/num/nums.cmxs
- -rw-r--r-- root(0) root(0) 7.4K /usr/lib/ocaml/num/ratio.cmi
- -rw-r--r-- root(0) root(0) 33K /usr/lib/ocaml/num/ratio.cmti
- -rw-r--r-- root(0) root(0) 6.6K /usr/lib/ocaml/num/ratio.cmx
- -rw-r--r-- root(0) root(0) 4.0K /usr/lib/ocaml/num/ratio.mli
- -rw-r--r-- root(0) root(0) 123 /usr/lib/ocaml/num-top/META
- -rw-r--r-- root(0) root(0) 2.0K /usr/lib/ocaml/num-top/num_top.cma
- -rw-r--r-- root(0) root(0) 187 /usr/lib/ocaml/num-top/num_top.cmi
- -rw-r--r-- root(0) root(0) 1.1K /usr/lib/ocaml/num-top/num_top_printers.cmi
- -rwxr-xr-x root(0) root(0) 22K /usr/lib/ocaml/stublibs/dllnums.so
- -rw-r--r-- root(0) root(0) 4 /usr/lib/ocaml/stublibs/dllnums.so.owner
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc/ocaml-num
- -rw-r--r-- root(0) root(0) 27K /usr/share/doc/ocaml-num/LICENSE