diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 8 |
1 files changed, 3 insertions, 5 deletions
@@ -1,7 +1,7 @@ pkgbase = mingw-w64-mpfi pkgdesc = C library for interval arithmetic (mingw-w64) pkgver = 1.5.4 - pkgrel = 1 + pkgrel = 2 url = http://perso.ens-lyon.fr/nathalie.revol/software.html arch = any license = GPL @@ -10,10 +10,8 @@ pkgbase = mingw-w64-mpfi options = !strip options = !buildflags options = staticlibs - source = https://gforge.inria.fr/frs/download.php/latestfile/181/mpfi-1.5.4.tar.gz - source = div_ext.c - sha256sums = 76b01b9eed7150a44b3f6aea24ad4ac78b0f2078253be87ff6d1903d02dfa434 - sha256sums = aa280208c1168fbdfdac5cbb3fd8421904bc80d6a323de89a4b6b48a66446b01 + source = https://gforge.inria.fr/frs/download.php/file/38111/mpfi-1.5.4.tgz + sha256sums = 3b3938595d720af17973deaf727cfc0dd41c8b16c20adc103a970f4a43ae3a56 pkgname = mingw-w64-mpfi |