summaryrefslogtreecommitdiffstats
path: root/base
diff options
context:
space:
mode:
Diffstat (limited to 'base')
-rw-r--r--base/mpfr/.footprint6
-rw-r--r--base/mpfr/.md5sum2
-rw-r--r--base/mpfr/Pkgfile3
3 files changed, 6 insertions, 5 deletions
diff --git a/base/mpfr/.footprint b/base/mpfr/.footprint
index 92484db5c..f418afb4d 100644
--- a/base/mpfr/.footprint
+++ b/base/mpfr/.footprint
@@ -5,9 +5,9 @@ drwxr-xr-x root/root usr/include/
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
+lrwxrwxrwx root/root usr/lib/libmpfr.so -> libmpfr.so.1.2.2
+lrwxrwxrwx root/root usr/lib/libmpfr.so.1 -> libmpfr.so.1.2.2
+-rwxr-xr-x root/root usr/lib/libmpfr.so.1.2.2
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
diff --git a/base/mpfr/.md5sum b/base/mpfr/.md5sum
index d8ec0acc4..a8c2e0d77 100644
--- a/base/mpfr/.md5sum
+++ b/base/mpfr/.md5sum
@@ -1 +1 @@
-a70bbde2a23d82e8f3314d4293500ae4 mpfr-2.4.1.tar.gz
+0e3dcf9fe2b6656ed417c89aa9159428 mpfr-2.4.2.tar.gz
diff --git a/base/mpfr/Pkgfile b/base/mpfr/Pkgfile
index 748c32bb8..cea800d56 100644
--- a/base/mpfr/Pkgfile
+++ b/base/mpfr/Pkgfile
@@ -5,7 +5,7 @@
# Depends on: gmp
name=mpfr
-version=2.4.1
+version=2.4.2
release=1
source=(http://www.mpfr.org/mpfr-current/mpfr-$version.tar.gz \
)
@@ -17,4 +17,5 @@ build() {
make DESTDIR=$PKG install
# Remove the dir file
rm $PKG/usr/share/info/dir
+ rm -r $PKG/usr/share/doc
}