Repository: riscv64/stable
Package time:
Size: 61288
SHA256: 95a31317183f1c588cb1f2ca9a51f53c10596f79769fcda43af1951a8ea0f1c7
Installed Size: 220 KiB
Maintainer: Mingcong Bai <[email protected]>
Library depends: ld-linux-riscv64-lp64d.so.1, libc.so.6, libgmp.so.10, libmpfr.so.6
Library provides: libmpfi.so.0, libmpfi.so.0.0.0
Files:
- -rwxr-xr-x root(0) root(0) 0 /usr
- -rwxr-xr-x root(0) root(0) 0 /usr/include
- -rw-r--r-- root(0) root(0) 15K /usr/include/mpfi.h
- -rw-r--r-- root(0) root(0) 1.5K /usr/include/mpfi_io.h
- -rwxr-xr-x root(0) root(0) 0 /usr/lib
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libmpfi.so
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libmpfi.so.0
- -rwxr-xr-x root(0) root(0) 83K /usr/lib/libmpfi.so.0.0.0
- -rwxr-xr-x root(0) root(0) 0 /usr/share
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc
- -rwxr-xr-x root(0) root(0) 0 /usr/share/doc/mpfi
- -rw-r--r-- root(0) root(0) 34K /usr/share/doc/mpfi/COPYING
- -rw-r--r-- root(0) root(0) 7.5K /usr/share/doc/mpfi/COPYING.LESSER
- -rwxr-xr-x root(0) root(0) 0 /usr/share/info
- -rw-r--r-- root(0) root(0) 15K /usr/share/info/mpfi.info.xz
- -rwxr-xr-x root(0) root(0) 0