Repository: riscv64/stable
Package time:
Size: 420624
SHA256: bad993521acef6dbaa8394ed8210de767f154c04b9ee88a13a971a678b7f0db7
Installed Size: 1.88 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/integers
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/ocaml/stublibs
- -rw-r--r-- root(0) root(0) 2.1K /usr/lib/ocaml/integers/dune-package
- -rw-r--r-- root(0) root(0) 482K /usr/lib/ocaml/integers/integers.a
- -rw-r--r-- root(0) root(0) 154K /usr/lib/ocaml/integers/integers.cma
- -rw-r--r-- root(0) root(0) 1.1K /usr/lib/ocaml/integers/integers.cmxa
- -rwxr-xr-x root(0) root(0) 220K /usr/lib/ocaml/integers/integers.cmxs
- -rw-r--r-- root(0) root(0) 226K /usr/lib/ocaml/integers/libintegers_stubs.a
- -rw-r--r-- root(0) root(0) 452 /usr/lib/ocaml/integers/META
- -rw-r--r-- root(0) root(0) 837 /usr/lib/ocaml/integers/ocaml_integers.h
- -rw-r--r-- root(0) root(0) 629 /usr/lib/ocaml/integers/opam
- -rw-r--r-- root(0) root(0) 18K /usr/lib/ocaml/integers/signed.cmi
- -rw-r--r-- root(0) root(0) 137K /usr/lib/ocaml/integers/signed.cmt
- -rw-r--r-- root(0) root(0) 56K /usr/lib/ocaml/integers/signed.cmti
- -rw-r--r-- root(0) root(0) 608 /usr/lib/ocaml/integers/signed.cmx
- -rw-r--r-- root(0) root(0) 4.3K /usr/lib/ocaml/integers/signed.ml
- -rw-r--r-- root(0) root(0) 2.2K /usr/lib/ocaml/integers/signed.mli
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/ocaml/integers/top
- -rw-r--r-- root(0) root(0) 24K /usr/lib/ocaml/integers/unsigned.cmi
- -rw-r--r-- root(0) root(0) 200K /usr/lib/ocaml/integers/unsigned.cmt
- -rw-r--r-- root(0) root(0) 85K /usr/lib/ocaml/integers/unsigned.cmti
- -rw-r--r-- root(0) root(0) 543 /usr/lib/ocaml/integers/unsigned.cmx
- -rw-r--r-- root(0) root(0) 9.6K /usr/lib/ocaml/integers/unsigned.ml
- -rw-r--r-- root(0) root(0) 7.7K /usr/lib/ocaml/integers/unsigned.mli
- -rw-r--r-- root(0) root(0) 223 /usr/lib/ocaml/integers/top/install_integer_printers.cmi
- -rw-r--r-- root(0) root(0) 15K /usr/lib/ocaml/integers/top/install_integer_printers.cmt
- -rw-r--r-- root(0) root(0) 2.5K /usr/lib/ocaml/integers/top/install_integer_printers.cmti
- -rw-r--r-- root(0) root(0) 1.2K /usr/lib/ocaml/integers/top/install_integer_printers.ml
- -rw-r--r-- root(0) root(0) 52 /usr/lib/ocaml/integers/top/install_integer_printers.mli
- -rw-r--r-- root(0) root(0) 2.3K /usr/lib/ocaml/integers/top/integer_printers.cmi
- -rw-r--r-- root(0) root(0) 27K /usr/lib/ocaml/integers/top/integer_printers.cmt
- -rw-r--r-- root(0) root(0) 9.8K /usr/lib/ocaml/integers/top/integer_printers.cmti
- -rw-r--r-- root(0) root(0) 1.2K /usr/lib/ocaml/integers/top/integer_printers.ml
- -rw-r--r-- root(0) root(0) 844 /usr/lib/ocaml/integers/top/integer_printers.mli
- -rw-r--r-- root(0) root(0) 17K /usr/lib/ocaml/integers/top/integers_top.cma
- -rwxr-xr-x root(0) root(0) 47K /usr/lib/ocaml/stublibs/dllintegers_stubs.so
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc/integers
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc/ocaml-integers
- -rw-r--r-- root(0) root(0) 1.2K /usr/share/doc/integers/CHANGES.md
- -rw-r--r-- root(0) root(0) 1.0K /usr/share/doc/integers/LICENSE.md
- -rw-r--r-- root(0) root(0) 2.1K /usr/share/doc/integers/README.md
- -rw-r--r-- root(0) root(0) 1.0K /usr/share/doc/ocaml-integers/LICENSE.md