From unknown Sat Aug 16 13:45:47 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#54468] [PATCH] gnu: isl: Update to 0.24 Resent-From: "Artyom V. Poptsov" Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 19 Mar 2022 20:51:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 54468 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 54468@debbugs.gnu.org X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.164772305815680 (code B ref -1); Sat, 19 Mar 2022 20:51:01 +0000 Received: (at submit) by debbugs.gnu.org; 19 Mar 2022 20:50:58 +0000 Received: from localhost ([127.0.0.1]:60662 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nVg2F-00044j-CF for submit@debbugs.gnu.org; Sat, 19 Mar 2022 16:50:58 -0400 Received: from lists.gnu.org ([209.51.188.17]:40122) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nVg26-00044S-BN for submit@debbugs.gnu.org; Sat, 19 Mar 2022 16:50:49 -0400 Received: from eggs.gnu.org ([209.51.188.92]:38826) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nVg26-0001aR-4C for guix-patches@gnu.org; Sat, 19 Mar 2022 16:50:42 -0400 Received: from [2a00:1450:4864:20::22a] (port=40649 helo=mail-lj1-x22a.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nVg23-0000ng-NZ for guix-patches@gnu.org; Sat, 19 Mar 2022 16:50:41 -0400 Received: by mail-lj1-x22a.google.com with SMTP id g24so14166791lja.7 for ; Sat, 19 Mar 2022 13:50:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:subject:date:message-id:user-agent:mime-version; bh=l+vITO4l4vS9rp2qnp2jcM8fsPTGRQJJyx3VPloMBto=; b=Uyfq3TWUmEOZOFuGP+k6/ZcSbHwrlbwACI8Yt6NdyJjUTJya2TurdU6IpNrWzQWCoH oTNlOi+uGPhNKIJBfa0dNfjCcDKShzs/X26CE9Q2HIYU9IkeuA87HRyrrpnIGHHNRzFT qeXKWpv5j1vmAgKJZmcTvNDxluPLXTssidXTA6crthWuxdqKt3ohSnEvsmYj5Jj1FLga gZszgCMVdo0hHj/Nwevf8TWX3WdEsTBc82t6BMmwhl04bL9ApV8rUUrTPCMjwrgVikE7 4vN5iJs2uG1Btb/ZzcZHpyP8yrVTjVxxxY4MgXY3YGrHNnG43duj0ailaO2fBs6wptfs YXGA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:subject:date:message-id:user-agent :mime-version; bh=l+vITO4l4vS9rp2qnp2jcM8fsPTGRQJJyx3VPloMBto=; b=IsNZpniMa8OxRbA9kMCFBUznSHFehWTBg0nEV+oC9rW0pksikQbd5OSHYg7EGraU5W drgftvfG3WTjlZbYGZyG5sqiOExBhpuaAoeIzVLCJm78/yFuRyZsksICYsP9XCILiyTy xK/004KRVZAN5SY9Jmim+TtvMMq1OX4nMMKwi3/CxGZGqt39idgIicAq3MaEdlg2wY6K rS6pMMXUWGSfWXe0UgVZwlD8DfqCYAOJy1TKYMVaqIELlj/82H3gwl6xwDrQexFkfJ3K XPRYmjjZ3PpC4t525htWX8U5rMYsXzYyM1kB3zS6NPWX0LqHzFtIVYCSmh3+8NAyRCxC nHTQ== X-Gm-Message-State: AOAM531hFrJm+dsghECF26BOji4YAF5brmGt6sZDkfwlvZPwI3YUabJ/ g8jTOzNoNFIHp6iMKbg78fpJ4PRIVZo= X-Google-Smtp-Source: ABdhPJyxMMzquuZQbCDXTgRcVoijp9D++g05xBCFv0fTzqPAtnJzA3vv+FDlvxKhrS/OxLWv1+fwTw== X-Received: by 2002:a05:651c:2115:b0:249:76ef:56be with SMTP id a21-20020a05651c211500b0024976ef56bemr3240031ljq.122.1647723037214; Sat, 19 Mar 2022 13:50:37 -0700 (PDT) Received: from elephant ([5.164.192.110]) by smtp.gmail.com with ESMTPSA id f11-20020a05651c02cb00b00244bd3dd6bdsm1624027ljo.5.2022.03.19.13.50.34 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 19 Mar 2022 13:50:36 -0700 (PDT) From: "Artyom V. Poptsov" Date: Sat, 19 Mar 2022 23:50:29 +0300 Message-ID: <87czihsm3u.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::22a (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::22a; envelope-from=poptsov.artyom@gmail.com; helo=mail-lj1-x22a.google.com X-Spam_score_int: -6 X-Spam_score: -0.7 X-Spam_bar: / X-Spam_report: (-0.7 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, PDS_HP_HELO_NORDNS=0.659, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable 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: =2D-8<---------------cut here---------------start------------->8--- $ guix build isl substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4p= vvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0%guix substitute: warning: 4zw= zi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion: connection fai= led: Connection refused substitute:=20 substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'... = 0.0%guix substitute: warning: bordeaux.guix.gnu.org: connection failed: Con= nection refused substitute:=20 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://4zwzi66wwdaalbhgnix55ea3ab4p= vvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0% substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4p= vvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0% substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'... = 0.0% substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4p= vvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0% building /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv... Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20http://isl.gforge.inria.fr/isl-0.23.tar.bz2... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20ftp://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.t= ar.bz2 From=20ftp://ftp.fu-berlin.de/unix/languages/gcc/infrastructure/isl-0.23.ta= r.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.t= ar.bz2 From=20ftp://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.t= ar.bz2 From=20ftp://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.t= ar.bz2 From=20https://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.t= ar.bz2 From=20ftp://ftp.cs.tu-berlin.de/pub/gnu//gcc/infrastructure/isl-0.23.tar.b= z2... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20ftp://ftp.funet.fi/pub/mirrors/ftp.gnu.org/gnu//gcc/infrastructure/i= sl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "CWD infras= tructure" 550 "Can't change directory to infrastructure: No such file or di= rectory\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20http://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.t= ar.bz2 From=20https://ci.guix.gnu.org/file/isl-0.23.tar.bz2/sha256/0k91zck10zxs9sk= 3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20https://tarballs.nixos.org/sha256/0k91zck10zxs9sk3yrbb92y1j3w981w3fb= wkfwd7kl779b0j52f5... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20https://archive.softwareheritage.org/api/1/content/sha256:c58922c14a= e7d0791a77932f377840890f19bc486b653fa64eba7f1026fb214d/raw/... In procedure connect*: Connection refused failed to download "/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.ta= r.bz2" from ("http://isl.gforge.inria.fr/isl-0.23.tar.bz2" "mirror://gcc/in= frastructure/isl-0.23.tar.bz2") builder for `/gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.d= rv' failed to produce output path `/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mn= g01-isl-0.23.tar.bz2' build of /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv f= ailed 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-is= l-0.23.drv' failed =2D-8<---------------cut here---------------end--------------->8--- Thanks, =2D Artyom References: 1: https://libisl.sourceforge.io/ --=-=-= Content-Type: text/x-diff Content-Disposition: attachment; filename=0001-gnu-isl-Update-to-0.24.patch Content-Transfer-Encoding: quoted-printable From=20d5841dad657e884f98e6d228a26e42aa42be5ec7 Mon Sep 17 00:00:00 2001 From: "Artyom V. Poptsov" Date: Sat, 19 Mar 2022 23:45:42 +0300 Subject: [PATCH] gnu: isl: Update to 0.24 * gnu/packages/gcc.scm (isl): Update to 0.24 =2D-- gnu/packages/gcc.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm index 1f89915ac8..938d15dc2d 100644 =2D-- a/gnu/packages/gcc.scm +++ b/gnu/packages/gcc.scm @@ -1155,7 +1155,7 @@ provides the GNU compiler for the Go programming lang= uage.")) (define-public isl (package (name "isl") =2D (version "0.23") + (version "0.24") (source (origin (method url-fetch) (uri (list (string-append @@ -1166,7 +1166,7 @@ provides the GNU compiler for the Go programming lang= uage.")) name "-" version ".tar.bz2"))) (sha256 (base32 =2D "0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5")))) + "1h25h64s3847nark86gy0mi3h0bb1fdgbmgvz66fn43ccpcqvxzw")))) (build-system gnu-build-system) (outputs '("out" "static")) (arguments =2D-=20 2.25.1 --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable =2D-=20 Artyom "avp" Poptsov Home page: https://memory-heap.org/~avp/ CADR Hackerspace co-founder: https://cadrspace.ru/ GPG: D0C2 EAC1 3310 822D 98DE B57C E9C5 A2D9 0898 A02F --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEE0MLqwTMQgi2Y3rV86cWi2QiYoC8FAmI2QhUACgkQ6cWi2QiY oC8qwgf/R77UA5bBBG0rkjtc/capMPXgK5eRn2Ma3UeR0bo5YWw+OfULIihkikEE 0BLu0mOcoSzQJ07BBBylfCyhHNtHU4zHqSkvUWqVQM5tjNXQ/tu0BfKpA5JjCF2k SmIvR0623e5Mzb4K3c2+kZBlO2OC7TRNw3q9mFAkigAcz4bdetu4qB6KDjrghekg yWBASzMolaWe0xnT6Ui6TRyD9n7jMOBhyS0EhxOf6tKCM5Ivg/NmS8rUN6Xq7G7a V7cQ5XGkcYvSIVEMGliMs55KlwUO/pRU+T2Ljq2tuzrRLQ/MLPYdiCAR4hAjIPoS XbjU1S7iLXt2YkVusBfTNHK9/znZZA== =D5Z6 -----END PGP SIGNATURE----- --==-=-=-- From unknown Sat Aug 16 13:45:47 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#54468] [PATCH] gnu: isl: Update to 0.24 Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sat, 19 Mar 2022 21:11:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 54468 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: "Artyom V. Poptsov" , 54468@debbugs.gnu.org Received: via spool by 54468-submit@debbugs.gnu.org id=B54468.164772421417674 (code B ref 54468); Sat, 19 Mar 2022 21:11:01 +0000 Received: (at 54468) by debbugs.gnu.org; 19 Mar 2022 21:10:14 +0000 Received: from localhost ([127.0.0.1]:60689 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nVgL0-0004az-HN for submit@debbugs.gnu.org; Sat, 19 Mar 2022 17:10:14 -0400 Received: from laurent.telenet-ops.be ([195.130.137.89]:58706) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nVgKy-0004ao-6h for 54468@debbugs.gnu.org; Sat, 19 Mar 2022 17:10:12 -0400 Received: from ptr-bvsjgyhxw7psv60dyze.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:3c5f:2eff:feb0:ba5a]) by laurent.telenet-ops.be with bizsmtp id 8MAA270094UW6Th01MAATp; Sat, 19 Mar 2022 22:10:10 +0100 Message-ID: <9ee02fce23eeccb126d3204513b8825472473ec4.camel@telenet.be> From: Maxime Devos Date: Sat, 19 Mar 2022 22:10:10 +0100 In-Reply-To: <87czihsm3u.fsf@gmail.com> References: <87czihsm3u.fsf@gmail.com> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-wru8KPzlWYq3nQEtMNsi" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1647724210; bh=pRbgJ9TAPrWHaDMcIpRg5+6l+8VYmgZOlVLQgqTsDpM=; h=Subject:From:To:Date:In-Reply-To:References; b=KePoAJciRd7cLlXTnS0jFLuamuDiRNaXqfghPbx2RFp6fg4oUuirFoeWQI1WS369L JYfixtn94qJPgA1ps/AfEpYyiyzhoN/nhZeOfo8Hq3kK+nFWbFsUlMPI3bOS/p45Nf li9nXB5BBm5IihEdLexJNjV+fvZgSq1wXsSgr8Gvlg1+6pQPkEAXLthil4BQ1F35wi yrmRCzjmlNeyh8tmR9O/y88RUB0Uw9MtRke1QjwhgQoDFMLil9vMb1xzpDckLmSf7F V+EAYm5lX8OrCWo9VTZQ4bIrnPEHgG5FLweGrXLub4X/dL/QzZ740lT9aQ1kcHxs45 QfihS8wcqs1zQ== X-Spam-Score: -0.7 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.7 (-) --=-wru8KPzlWYq3nQEtMNsi Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Artyom V. Poptsov schreef op za 19-03-2022 om 23:50 [+0300]: The previous version (0.23) seems to be not present in the repositories anymore: For the future, perhaps we could look into saving a copy of it somewhere, and perhaps request GCC folks to not delete old versions? Additionally, the isl.gforge.infria.fr is offline, so it could be removed. Nix has found some alternative URLs: , perhaps they could be added (if they still work)? Is the source code of the other versions of isl in Guix still available? Given that isl is a dependency of GCC, does this cause a world-rebuild? Greetings, Maxime. --=-wru8KPzlWYq3nQEtMNsi Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iIwEABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYjZGshccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7glYAPiOB1wZpnsxBtm9Bl4lz+wCE7uB H+k48wbnEi6aPYGkAP90RHhtqkLMXIhj+92P1YXXZ/7I4Sab353IbEOFeaQQAw== =xKv+ -----END PGP SIGNATURE----- --=-wru8KPzlWYq3nQEtMNsi-- From unknown Sat Aug 16 13:45:47 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: "Artyom V. Poptsov" Subject: bug#54468: closed (Re: bug#54468: [PATCH] gnu: isl: Update to 0.24) Message-ID: References: <87bky1mx42.fsf_-_@gnu.org> <87czihsm3u.fsf@gmail.com> X-Gnu-PR-Message: they-closed 54468 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 54468@debbugs.gnu.org Date: Sat, 19 Mar 2022 21:50:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1647726602-21795-1" This is a multi-part message in MIME format... ------------=_1647726602-21795-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #54468: [PATCH] gnu: isl: Update to 0.24 which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 54468@debbugs.gnu.org. --=20 54468: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D54468 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1647726602-21795-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 54468-done) by debbugs.gnu.org; 19 Mar 2022 21:49:28 +0000 Received: from localhost ([127.0.0.1]:60714 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nVgwy-0005eY-Dl for submit@debbugs.gnu.org; Sat, 19 Mar 2022 17:49:28 -0400 Received: from eggs.gnu.org ([209.51.188.92]:43378) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nVgww-0005eI-93 for 54468-done@debbugs.gnu.org; Sat, 19 Mar 2022 17:49:26 -0400 Received: from [2001:470:142:3::e] (port=40088 helo=fencepost.gnu.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nVgwq-0000pa-BL; Sat, 19 Mar 2022 17:49:20 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=k7Cr04QK/mgkEHpJmKCPbQ/CG3Akq83UQc3PxwrvCVk=; b=amM5HX1kmpAAL0QgdDX+ sWjXSPfE381LpXkeywDybokOKppntlnSS6be9Im2q0DIvyijHKaSjM9oyVwWQDzzhRokZ9waPshD2 7qFaOsY+7/Td5YmwIIvMCNQN/eNW5bY2KoSYzJDRC5IXf+aL+wFcuYlSNEcdSLSwLUBkot9V5IbcQ mIScLxfiLCkismfpj1TMoNwJK/JflnggWh/0ECARE1c6Zdcv1VyGp5OFFq9iVU+gdIABa5OBoapB7 V4kJR6D4YjEyMETtVV4F367zkQuohNjG6Ls7bSuil2t5SFkBX16a85Yml5J0dgxasL/O01Ivi/dRO E9RYU78o7kAkPA==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:61018 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nVgwp-0000iR-S9; Sat, 19 Mar 2022 17:49:20 -0400 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Maxime Devos Subject: Re: bug#54468: [PATCH] gnu: isl: Update to 0.24 References: <87czihsm3u.fsf@gmail.com> <9ee02fce23eeccb126d3204513b8825472473ec4.camel@telenet.be> Date: Sat, 19 Mar 2022 22:49:17 +0100 In-Reply-To: <9ee02fce23eeccb126d3204513b8825472473ec4.camel@telenet.be> (Maxime Devos's message of "Sat, 19 Mar 2022 22:10:10 +0100") Message-ID: <87bky1mx42.fsf_-_@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 54468-done Cc: "Artyom V. Poptsov" , 54468-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Hi, Maxime Devos skribis: > Additionally, the isl.gforge.infria.fr is offline, so it could be > removed. Nix has found some alternative URLs: > , > perhaps they could be added (if they still work)? Yes. We were discussing it on IRC and I just committed a switch to the mirror://sourceforge URL. > Is the source code of the other versions of isl in Guix still > available? Yes. Note that it=E2=80=99s a tar.bz2 file, which Disarchive cannot handle yet, = so at this point we have nothing but the usual mirrors (including the content-addressed mirror at ci.guix). > Given that isl is a dependency of GCC, does this cause a world-rebuild? Yes, so I think we=E2=80=99ll do that in =E2=80=98core-updates=E2=80=99, if= nothing breaks. Thanks, Ludo=E2=80=99. ------------=_1647726602-21795-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 19 Mar 2022 20:50:58 +0000 Received: from localhost ([127.0.0.1]:60662 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nVg2F-00044j-CF for submit@debbugs.gnu.org; Sat, 19 Mar 2022 16:50:58 -0400 Received: from lists.gnu.org ([209.51.188.17]:40122) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nVg26-00044S-BN for submit@debbugs.gnu.org; Sat, 19 Mar 2022 16:50:49 -0400 Received: from eggs.gnu.org ([209.51.188.92]:38826) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nVg26-0001aR-4C for guix-patches@gnu.org; Sat, 19 Mar 2022 16:50:42 -0400 Received: from [2a00:1450:4864:20::22a] (port=40649 helo=mail-lj1-x22a.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nVg23-0000ng-NZ for guix-patches@gnu.org; Sat, 19 Mar 2022 16:50:41 -0400 Received: by mail-lj1-x22a.google.com with SMTP id g24so14166791lja.7 for ; Sat, 19 Mar 2022 13:50:39 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:subject:date:message-id:user-agent:mime-version; bh=l+vITO4l4vS9rp2qnp2jcM8fsPTGRQJJyx3VPloMBto=; b=Uyfq3TWUmEOZOFuGP+k6/ZcSbHwrlbwACI8Yt6NdyJjUTJya2TurdU6IpNrWzQWCoH oTNlOi+uGPhNKIJBfa0dNfjCcDKShzs/X26CE9Q2HIYU9IkeuA87HRyrrpnIGHHNRzFT qeXKWpv5j1vmAgKJZmcTvNDxluPLXTssidXTA6crthWuxdqKt3ohSnEvsmYj5Jj1FLga gZszgCMVdo0hHj/Nwevf8TWX3WdEsTBc82t6BMmwhl04bL9ApV8rUUrTPCMjwrgVikE7 4vN5iJs2uG1Btb/ZzcZHpyP8yrVTjVxxxY4MgXY3YGrHNnG43duj0ailaO2fBs6wptfs YXGA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:subject:date:message-id:user-agent :mime-version; bh=l+vITO4l4vS9rp2qnp2jcM8fsPTGRQJJyx3VPloMBto=; b=IsNZpniMa8OxRbA9kMCFBUznSHFehWTBg0nEV+oC9rW0pksikQbd5OSHYg7EGraU5W drgftvfG3WTjlZbYGZyG5sqiOExBhpuaAoeIzVLCJm78/yFuRyZsksICYsP9XCILiyTy xK/004KRVZAN5SY9Jmim+TtvMMq1OX4nMMKwi3/CxGZGqt39idgIicAq3MaEdlg2wY6K rS6pMMXUWGSfWXe0UgVZwlD8DfqCYAOJy1TKYMVaqIELlj/82H3gwl6xwDrQexFkfJ3K XPRYmjjZ3PpC4t525htWX8U5rMYsXzYyM1kB3zS6NPWX0LqHzFtIVYCSmh3+8NAyRCxC nHTQ== X-Gm-Message-State: AOAM531hFrJm+dsghECF26BOji4YAF5brmGt6sZDkfwlvZPwI3YUabJ/ g8jTOzNoNFIHp6iMKbg78fpJ4PRIVZo= X-Google-Smtp-Source: ABdhPJyxMMzquuZQbCDXTgRcVoijp9D++g05xBCFv0fTzqPAtnJzA3vv+FDlvxKhrS/OxLWv1+fwTw== X-Received: by 2002:a05:651c:2115:b0:249:76ef:56be with SMTP id a21-20020a05651c211500b0024976ef56bemr3240031ljq.122.1647723037214; Sat, 19 Mar 2022 13:50:37 -0700 (PDT) Received: from elephant ([5.164.192.110]) by smtp.gmail.com with ESMTPSA id f11-20020a05651c02cb00b00244bd3dd6bdsm1624027ljo.5.2022.03.19.13.50.34 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 19 Mar 2022 13:50:36 -0700 (PDT) From: "Artyom V. Poptsov" To: guix-patches@gnu.org Subject: [PATCH] gnu: isl: Update to 0.24 Date: Sat, 19 Mar 2022 23:50:29 +0300 Message-ID: <87czihsm3u.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::22a (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::22a; envelope-from=poptsov.artyom@gmail.com; helo=mail-lj1-x22a.google.com X-Spam_score_int: -6 X-Spam_score: -0.7 X-Spam_bar: / X-Spam_report: (-0.7 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, PDS_HP_HELO_NORDNS=0.659, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable 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: =2D-8<---------------cut here---------------start------------->8--- $ guix build isl substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4p= vvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0%guix substitute: warning: 4zw= zi66wwdaalbhgnix55ea3ab4pvvw66ll2ow53kjub6se4q2bclcyd.onion: connection fai= led: Connection refused substitute:=20 substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'... = 0.0%guix substitute: warning: bordeaux.guix.gnu.org: connection failed: Con= nection refused substitute:=20 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://4zwzi66wwdaalbhgnix55ea3ab4p= vvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0% substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4p= vvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0% substitute: updating substitutes from 'https://bordeaux.guix.gnu.org'... = 0.0% substitute: updating substitutes from 'https://4zwzi66wwdaalbhgnix55ea3ab4p= vvw66ll2ow53kjub6se4q2bclcyd.onion/'... 0.0% building /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv... Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20http://isl.gforge.inria.fr/isl-0.23.tar.bz2... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20ftp://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.t= ar.bz2 From=20ftp://ftp.fu-berlin.de/unix/languages/gcc/infrastructure/isl-0.23.ta= r.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.t= ar.bz2 From=20ftp://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.t= ar.bz2 From=20ftp://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.t= ar.bz2 From=20https://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.t= ar.bz2 From=20ftp://ftp.cs.tu-berlin.de/pub/gnu//gcc/infrastructure/isl-0.23.tar.b= z2... In procedure getaddrinfo: Name or service not known Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20ftp://ftp.funet.fi/pub/mirrors/ftp.gnu.org/gnu//gcc/infrastructure/i= sl-0.23.tar.bz2... Throw to key `ftp-error' with args `(# "CWD infras= tructure" 550 "Can't change directory to infrastructure: No such file or di= rectory\r")'. Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20http://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.t= ar.bz2 From=20https://ci.guix.gnu.org/file/isl-0.23.tar.bz2/sha256/0k91zck10zxs9sk= 3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20https://tarballs.nixos.org/sha256/0k91zck10zxs9sk3yrbb92y1j3w981w3fb= wkfwd7kl779b0j52f5... In procedure connect*: Connection refused Starting download of /gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.t= ar.bz2 From=20https://archive.softwareheritage.org/api/1/content/sha256:c58922c14a= e7d0791a77932f377840890f19bc486b653fa64eba7f1026fb214d/raw/... In procedure connect*: Connection refused failed to download "/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mng01-isl-0.23.ta= r.bz2" from ("http://isl.gforge.inria.fr/isl-0.23.tar.bz2" "mirror://gcc/in= frastructure/isl-0.23.tar.bz2") builder for `/gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.d= rv' failed to produce output path `/gnu/store/sxrx5w1an28pmkbd4djk69xwbn3mn= g01-isl-0.23.tar.bz2' build of /gnu/store/8y85sk7v7m1p0b61cmz8rvjirjp4g35n-isl-0.23.tar.bz2.drv f= ailed 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-is= l-0.23.drv' failed =2D-8<---------------cut here---------------end--------------->8--- Thanks, =2D Artyom References: 1: https://libisl.sourceforge.io/ --=-=-= Content-Type: text/x-diff Content-Disposition: attachment; filename=0001-gnu-isl-Update-to-0.24.patch Content-Transfer-Encoding: quoted-printable From=20d5841dad657e884f98e6d228a26e42aa42be5ec7 Mon Sep 17 00:00:00 2001 From: "Artyom V. Poptsov" Date: Sat, 19 Mar 2022 23:45:42 +0300 Subject: [PATCH] gnu: isl: Update to 0.24 * gnu/packages/gcc.scm (isl): Update to 0.24 =2D-- gnu/packages/gcc.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm index 1f89915ac8..938d15dc2d 100644 =2D-- a/gnu/packages/gcc.scm +++ b/gnu/packages/gcc.scm @@ -1155,7 +1155,7 @@ provides the GNU compiler for the Go programming lang= uage.")) (define-public isl (package (name "isl") =2D (version "0.23") + (version "0.24") (source (origin (method url-fetch) (uri (list (string-append @@ -1166,7 +1166,7 @@ provides the GNU compiler for the Go programming lang= uage.")) name "-" version ".tar.bz2"))) (sha256 (base32 =2D "0k91zck10zxs9sk3yrbb92y1j3w981w3fbwkfwd7kl779b0j52f5")))) + "1h25h64s3847nark86gy0mi3h0bb1fdgbmgvz66fn43ccpcqvxzw")))) (build-system gnu-build-system) (outputs '("out" "static")) (arguments =2D-=20 2.25.1 --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable =2D-=20 Artyom "avp" Poptsov Home page: https://memory-heap.org/~avp/ CADR Hackerspace co-founder: https://cadrspace.ru/ GPG: D0C2 EAC1 3310 822D 98DE B57C E9C5 A2D9 0898 A02F --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEE0MLqwTMQgi2Y3rV86cWi2QiYoC8FAmI2QhUACgkQ6cWi2QiY oC8qwgf/R77UA5bBBG0rkjtc/capMPXgK5eRn2Ma3UeR0bo5YWw+OfULIihkikEE 0BLu0mOcoSzQJ07BBBylfCyhHNtHU4zHqSkvUWqVQM5tjNXQ/tu0BfKpA5JjCF2k SmIvR0623e5Mzb4K3c2+kZBlO2OC7TRNw3q9mFAkigAcz4bdetu4qB6KDjrghekg yWBASzMolaWe0xnT6Ui6TRyD9n7jMOBhyS0EhxOf6tKCM5Ivg/NmS8rUN6Xq7G7a V7cQ5XGkcYvSIVEMGliMs55KlwUO/pRU+T2Ljq2tuzrRLQ/MLPYdiCAR4hAjIPoS XbjU1S7iLXt2YkVusBfTNHK9/znZZA== =D5Z6 -----END PGP SIGNATURE----- --==-=-=-- ------------=_1647726602-21795-1--