blob: 92484db5c715879de143077887792b75bd822088 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
drwxr-xr-x root/root usr/
drwxr-xr-x root/root usr/include/
-rw-r--r-- root/root usr/include/mpf2mpfr.h
-rw-r--r-- root/root usr/include/mpfr.h
drwxr-xr-x root/root usr/lib/
-rw-r--r-- root/root usr/lib/libmpfr.a
-rwxr-xr-x root/root usr/lib/libmpfr.la
lrwxrwxrwx root/root usr/lib/libmpfr.so -> libmpfr.so.1.2.0
lrwxrwxrwx root/root usr/lib/libmpfr.so.1 -> libmpfr.so.1.2.0
-rwxr-xr-x root/root usr/lib/libmpfr.so.1.2.0
drwxr-xr-x root/root usr/share/
drwxr-xr-x root/root usr/share/info/
-rw-r--r-- root/root usr/share/info/mpfr.info.gz
|
