This patch updates Integer Set Library (ISL) [1] to 0.24. The previous version (0.23) seems to be not present in the repositories anymore: --8<---------------cut here---------------start------------->8--- $ guix build isl substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0%guix substitute: warning: 4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion: connection failed: Connection refused substitute: substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'... 0.0%guix substitute: warning: bordeaux.guix.gnu.org: connection failed: Connection refused substitute: The following derivations will be built: /gnu/store/m52rw2hbwdsg9jpyxrp3lr1yvgacas6g-isl-0.23.drv /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0% substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0% substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'... 0.0% substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0% building /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv... Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From http://isl.gforge.inria.fr/isl-0.23.tar.bz2... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.nluug.nl/mirror/languages/gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "RETR isl-0.23.tar.bz2" 550 "Failed to open file.\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.fu-berlin.de/unix/languages/gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "RETR isl-0.23.tar.bz2" 550 "isl-0.23.tar.bz2: No such file or directory\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.irisa.fr/pub/mirrors/gcc.gnu.org/gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "RETR isl-0.23.tar.bz2" 550 "Failed to open file.\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "RETR isl-0.23.tar.bz2" 550 "Failed to open file.\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From https://ftpmirror.gnu.org/gnu//gcc/infrastructure/isl-0.23.tar.bz2... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.cs.tu-berlin.de/pub/gnu//gcc/infrastructure/isl-0.23.tar.bz2... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From ftp://ftp.funet.fi/pub/mirrors/ftp.gnu.org/gnu//gcc/infrastructure/isl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "CWD infrastructure" 550 "Can't change directory to infrastructure: No such file or directory\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From http://ftp.gnu.org/pub/gnu//gcc/infrastructure/isl-0.23.tar.bz2... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From https://ci.guix.gnu.org/file/isl-0.23.tar.bz2/sha256/0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From https://tarballs.nixos.org/sha256/0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2 From https://archive.softwareheritage.org/api/1/content/sha256:c58922c14ae7d0791a77932f377840890f19bc486b653fa64eba7f1026fb214d/raw/... In procedure connect*: Connection refused failed to download "/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2" from ("http://isl.gforge.inria.fr/isl-0.23.tar.bz2" "mirror://gcc/infrastructure/isl-0.23.tar.bz2") builder for `/gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv' failed to produce output path `/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.tar.bz2' build of /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv failed View build log at '/var/log/guix/drvs/8y/85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv.bz2'. cannot build derivation `/gnu/store/m52rw2hbwdsg9jpyxrp3lr1yvgacas6g-isl-0.23.drv': 1 dependencies couldn't be built guix build: error: build of `/gnu/store/m52rw2hbwdsg9jpyxrp3lr1yvgacas6g-isl-0.23.drv' failed --8<---------------cut here---------------end--------------->8--- Thanks, - Artyom References: 1: https://libisl.sourceforge.io/