isl: Update to 0.22

switch back to http because https is broken and just redirects
This commit is contained in:
Christoph Reiter
2020-01-04 19:29:41 +01:00
parent 9aa3826396
commit 4d011937e9

View File

@@ -3,7 +3,7 @@
_realname=isl
pkgbase=mingw-w64-${_realname}
pkgname=("${MINGW_PACKAGE_PREFIX}-${_realname}")
pkgver=0.21
pkgver=0.22
pkgrel=1
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints (mingw-w64)"
arch=('any')
@@ -12,9 +12,9 @@ url="https://isl.gforge.inria.fr/"
makedepends=("${MINGW_PACKAGE_PREFIX}-gmp")
options=('staticlibs')
license=('MIT')
source=("https://isl.gforge.inria.fr/${_realname}-${pkgver}.tar.xz"
source=("http://isl.gforge.inria.fr/${_realname}-${pkgver}.tar.xz"
isl-0.14.1-no-undefined.patch)
sha256sums=('777058852a3db9500954361e294881214f6ecd4b594c00da5eee974cd6a54960'
sha256sums=('6c8bc56c477affecba9c59e2c9f026967ac8bad01b51bdd07916db40a517b9fa'
'83655a7202f0a0dcce1782d4b365252bf1ad12a522b7ad82ab578ee5ec46433b')
prepare() {