Seems our aur package needs to be updated with the new path for the isl-0.22.tar.bz2 package at https://libisl.sourceforge.io/.
https://groups.google.com/g/isl-development/c/JGaMo2VUu_8?pli=1
Mikael Öhman unread, Oct 4, 2021, 11:45:25 AM to isl Development It's not unreliable, it has in fact shut down (https://giters.com/coq/opam-coq-archive/issues/1298?amp=1), replaced with gitlab.inria.fr. I went here looking where the project moved, but it seems it hasn't been migrated anywhere yet?
Pinned Comments
Megver83 commented on 2019-06-14 19:52 (UTC) (edited on 2019-06-14 20:07 (UTC) by Megver83)
Notes about this package: