summaryrefslogtreecommitdiffstats
path: root/base/mpfr/.footprint
diff options
context:
space:
mode:
Diffstat (limited to 'base/mpfr/.footprint')
-rw-r--r--base/mpfr/.footprint13
1 files changed, 13 insertions, 0 deletions
diff --git a/base/mpfr/.footprint b/base/mpfr/.footprint
new file mode 100644
index 000000000..92484db5c
--- /dev/null
+++ b/base/mpfr/.footprint
@@ -0,0 +1,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