summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO8
1 files changed, 3 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ae6ecce705b5..25d50092aaf7 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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