Repository: loongson3/stable
Package time:
Size: 121808
SHA256: 8e1ca0bf7050b5b472bbc5305fe9d4d1092b30aa44413d8a69677b3171e935ea
Installed Size: 536 KiB
Maintainer: Mingcong Bai <jeffbai@aosc.io>
Library depends: ld.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) 6.8K /usr/lib/ocaml/zarith/big_int_Z.cmi
- -rw-r--r-- root(0) root(0) 29K /usr/lib/ocaml/zarith/big_int_Z.cmti
- -rw-r--r-- root(0) root(0) 2.7K /usr/lib/ocaml/zarith/big_int_Z.mli
- -rwxr-xr-x root(0) root(0) 69K /usr/lib/ocaml/zarith/dllzarith.so
- -rw-r--r-- root(0) root(0) 95K /usr/lib/ocaml/zarith/libzarith.a
- -rw-r--r-- root(0) root(0) 416 /usr/lib/ocaml/zarith/META
- -rw-r--r-- root(0) root(0) 7.8K /usr/lib/ocaml/zarith/q.cmi
- -rw-r--r-- root(0) root(0) 47K /usr/lib/ocaml/zarith/q.cmti
- -rw-r--r-- root(0) root(0) 7.1K /usr/lib/ocaml/zarith/q.mli
- -rw-r--r-- root(0) root(0) 21K /usr/lib/ocaml/zarith/zarith.cma
- -rw-r--r-- root(0) root(0) 1.1K /usr/lib/ocaml/zarith/zarith.h
- -rw-r--r-- root(0) root(0) 2.1K /usr/lib/ocaml/zarith/zarith_top.cma
- -rw-r--r-- root(0) root(0) 16K /usr/lib/ocaml/zarith/z.cmi
- -rw-r--r-- root(0) root(0) 100K /usr/lib/ocaml/zarith/z.cmti
- -rw-r--r-- root(0) root(0) 20K /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