Repository: amd64/stable
Package time:
Size: 62496
SHA256: 6012159bce936116a45d96dbe481e341928224de0f4eb55e735a8fa85de43e2e
Installed Size: 244 KiB
Maintainer: Mingcong Bai <[email protected]>
Library depends: 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) 106K /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