Repository: riscv64/stable
Package time:
Size: 409232
SHA256: f811819e963f44e85e10471a6a556833971c027465a9ef4633ce4e770570f2c5
Installed Size: 1.61 MiB
Maintainer: Mingcong Bai <jeffbai@aosc.io>
Library depends: ld-linux-riscv64-lp64d.so.1, 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) 98K /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) 536K /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) 18K /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