From 4d011937e9ac3559e8da2194a4fdadefc2fd3dd9 Mon Sep 17 00:00:00 2001 From: Christoph Reiter Date: Sat, 4 Jan 2020 19:29:41 +0100 Subject: [PATCH] isl: Update to 0.22 switch back to http because https is broken and just redirects --- mingw-w64-isl/PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/mingw-w64-isl/PKGBUILD b/mingw-w64-isl/PKGBUILD index 21dae8958f..531fe3143f 100644 --- a/mingw-w64-isl/PKGBUILD +++ b/mingw-w64-isl/PKGBUILD @@ -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() {