diff options
author | Juergen Daubert <jue@jue.li> | 2015-07-23 14:13:44 +0200 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2015-07-23 14:13:44 +0200 |
commit | 1d01e532d002791bbfadc9ca2e934fbb2548fcc0 (patch) | |
tree | 25a768807848ed86e34a8b6575d77f3fae2c66f1 /libmpfr/Pkgfile | |
parent | 1f24479569a7b1288f167aab09774c97f0bbccb6 (diff) | |
download | core-1d01e532d002791bbfadc9ca2e934fbb2548fcc0.tar.gz core-1d01e532d002791bbfadc9ca2e934fbb2548fcc0.tar.xz |
libmpfr: update to 3.1.3-p4
Diffstat (limited to 'libmpfr/Pkgfile')
-rw-r--r-- | libmpfr/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libmpfr/Pkgfile b/libmpfr/Pkgfile index 6e746529..858a95ab 100644 --- a/libmpfr/Pkgfile +++ b/libmpfr/Pkgfile @@ -4,7 +4,7 @@ # Depends on: libgmp name=libmpfr -version=3.1.3-p2 +version=3.1.3-p4 release=1 source=(http://www.mpfr.org/mpfr-${version%-*}/mpfr-${version%-*}.tar.xz $name-$version.patch.gz) |