Repository: riscv64/stable
Package time:
Size: 321726
SHA256: c7ab7d2926bfd0199ac92b56a9b10366c960d8f4dd3788fef3ade54989d2216a
Installed Size: 1.09 MiB
Maintainer: AOSC OS Maintainers <maintainers@aosc.io>
Library depends: ld-linux-riscv64-lp64d.so.1, libc.so.6, libgmp.so.10
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/zarith
- -rw-r--r-- root(0) root(0) 2.4K /usr/lib/ocaml/zarith/big_int_Z.cmi
- -rw-r--r-- root(0) root(0) 12K /usr/lib/ocaml/zarith/big_int_Z.cmti
- -rw-r--r-- root(0) root(0) 4.9K /usr/lib/ocaml/zarith/big_int_Z.cmx
- -rw-r--r-- root(0) root(0) 2.7K /usr/lib/ocaml/zarith/big_int_Z.mli
- -rwxr-xr-x root(0) root(0) 58K /usr/lib/ocaml/zarith/dllzarith.so
- -rw-r--r-- root(0) root(0) 192K /usr/lib/ocaml/zarith/libzarith.a
- -rw-r--r-- root(0) root(0) 473 /usr/lib/ocaml/zarith/META
- -rw-r--r-- root(0) root(0) 3.0K /usr/lib/ocaml/zarith/q.cmi
- -rw-r--r-- root(0) root(0) 20K /usr/lib/ocaml/zarith/q.cmti
- -rw-r--r-- root(0) root(0) 4.2K /usr/lib/ocaml/zarith/q.cmx
- -rw-r--r-- root(0) root(0) 7.2K /usr/lib/ocaml/zarith/q.mli
- -rw-r--r-- root(0) root(0) 344K /usr/lib/ocaml/zarith/zarith.a
- -rw-r--r-- root(0) root(0) 80K /usr/lib/ocaml/zarith/zarith.cma
- -rw-r--r-- root(0) root(0) 2.5K /usr/lib/ocaml/zarith/zarith.cmxa
- -rwxr-xr-x root(0) root(0) 160K /usr/lib/ocaml/zarith/zarith.cmxs
- -rw-r--r-- root(0) root(0) 1.1K /usr/lib/ocaml/zarith/zarith.h
- -rw-r--r-- root(0) root(0) 4.2K /usr/lib/ocaml/zarith/zarith_top.cma
- -rw-r--r-- root(0) root(0) 208 /usr/lib/ocaml/zarith/zarith_version.cmx
- -rw-r--r-- root(0) root(0) 6.3K /usr/lib/ocaml/zarith/z.cmi
- -rw-r--r-- root(0) root(0) 45K /usr/lib/ocaml/zarith/z.cmti
- -rw-r--r-- root(0) root(0) 4.8K /usr/lib/ocaml/zarith/z.cmx
- -rw-r--r-- root(0) root(0) 27K /usr/lib/ocaml/zarith/z.mli
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc/zarith
- -rw-r--r-- root(0) root(0) 26K /usr/share/doc/zarith/LICENSE