diff options
author | Juergen Daubert <jue@jue.li> | 2016-02-19 15:11:00 +0100 |
---|---|---|
committer | Juergen Daubert <jue@jue.li> | 2016-02-19 15:11:00 +0100 |
commit | 7717c57903680f3bc4c8a3ea36f5b300a435cfa8 (patch) | |
tree | 2963c006f12fb0198f5ee48113d6578aa9df5ae6 /libmpfr/Pkgfile | |
parent | 1dea7eefeff9bb1ac540dc16f543a5ec53b10baf (diff) | |
download | core-7717c57903680f3bc4c8a3ea36f5b300a435cfa8.tar.gz core-7717c57903680f3bc4c8a3ea36f5b300a435cfa8.tar.xz |
libmpfr: update to 3.1.3-p12
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 9bb1df30..1f1afe69 100644 --- a/libmpfr/Pkgfile +++ b/libmpfr/Pkgfile @@ -4,7 +4,7 @@ # Depends on: libgmp name=libmpfr -version=3.1.3-p5 +version=3.1.3-p12 release=1 source=(http://www.mpfr.org/mpfr-${version%-*}/mpfr-${version%-*}.tar.xz $name-$version.patch.gz) |