diff options
Diffstat (limited to 'base/mpfr')
| -rw-r--r-- | base/mpfr/.footprint | 6 | ||||
| -rw-r--r-- | base/mpfr/.md5sum | 2 | ||||
| -rw-r--r-- | base/mpfr/Pkgfile | 3 |
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 } |