Repository: riscv64/stable
Package time:
Size: 657392
SHA256: bd5bbb71ea2251a5f749c4805d60e919591d29ebd1443ca4ce9d6b8268c40cee
Installed Size: 1.43 MiB
Maintainer: Mingcong Bai <jeffbai@aosc.io>
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/facile
- -rw-r--r-- root(0) root(0) 1.3M /usr/lib/ocaml/facile/facile.cma
- -rw-r--r-- root(0) root(0) 70K /usr/lib/ocaml/facile/facile.cmi
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc/facile
- -rw-r--r-- root(0) root(0) 19K /usr/share/doc/facile/LICENSE