From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id EGmOJZAN/1+qJAAA0tVLHw (envelope-from ) for ; Wed, 13 Jan 2021 15:11:12 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1 with LMTPS id aOBtIZAN/19RGAAAbx9fmQ (envelope-from ) for ; Wed, 13 Jan 2021 15:11:12 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 3195A9404FB for ; Wed, 13 Jan 2021 15:11:12 +0000 (UTC) Received: from localhost ([::1]:42408 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kzhnj-0004dD-3E for larch@yhetil.org; Wed, 13 Jan 2021 10:11:11 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:34852) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kzhki-0001l3-E9 for bug-guix@gnu.org; Wed, 13 Jan 2021 10:08:05 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:52927) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kzhkg-0005af-Lt for bug-guix@gnu.org; Wed, 13 Jan 2021 10:08:03 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kzhkg-0008Dc-Ga for bug-guix@gnu.org; Wed, 13 Jan 2021 10:08:02 -0500 X-Loop: help-debbugs@gnu.org Subject: bug#42162: gforge.inria.fr to be taken off-line in Dec. 2020 Resent-From: Andreas Enge Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Wed, 13 Jan 2021 15:08:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42162 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Ludovic =?UTF-8?Q?Court=C3=A8s?= Received: via spool by 42162-submit@debbugs.gnu.org id=B42162.161055043831534 (code B ref 42162); Wed, 13 Jan 2021 15:08:02 +0000 Received: (at 42162) by debbugs.gnu.org; 13 Jan 2021 15:07:18 +0000 Received: from localhost ([127.0.0.1]:36240 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kzhjx-0008CY-L1 for submit@debbugs.gnu.org; Wed, 13 Jan 2021 10:07:17 -0500 Received: from hera.aquilenet.fr ([185.233.100.1]:34494) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kzhjv-0008CI-Pj for 42162@debbugs.gnu.org; Wed, 13 Jan 2021 10:07:16 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 50F6F398; Wed, 13 Jan 2021 16:07:09 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at aquilenet.fr Received: from hera.aquilenet.fr ([127.0.0.1]) by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id t3kYeEZC88GR; Wed, 13 Jan 2021 16:07:08 +0100 (CET) Received: from jurong (unknown [IPv6:2001:910:103f::a63]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 3C17BCD; Wed, 13 Jan 2021 16:07:08 +0100 (CET) Date: Wed, 13 Jan 2021 16:07:06 +0100 From: Andreas Enge Message-ID: References: <87mu4iv0gc.fsf@inria.fr> <87y2h04mhb.fsf@gmail.com> <87a6tdce94.fsf@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <87a6tdce94.fsf@inria.fr> X-Spamd-Bar: / X-Rspamd-Server: hera X-Rspamd-Queue-Id: 50F6F398 X-Spamd-Result: default: False [-0.36 / 15.00]; ARC_NA(0.00)[]; RCVD_VIA_SMTP_AUTH(0.00)[]; URL_IN_SUBJECT(0.40)[gforge.inria.fr]; FROM_HAS_DN(0.00)[]; TO_DN_SOME(0.00)[]; TO_MATCH_ENVRCPT_ALL(0.00)[]; FREEMAIL_ENVRCPT(0.00)[gmail.com]; TAGGED_RCPT(0.00)[]; MIME_GOOD(-0.10)[text/plain]; RCPT_COUNT_FIVE(0.00)[5]; RCVD_NO_TLS_LAST(0.10)[]; FROM_EQ_ENVFROM(0.00)[]; MID_RHS_NOT_FQDN(0.50)[]; FREEMAIL_CC(0.00)[gmail.com]; FORGED_RECIPIENTS(1.00)[ludovic.courtes@inria.fr .., andreas.enge@aquilenet.fr ...]; BAYES_HAM(-2.26)[96.52%]; RCVD_COUNT_TWO(0.00)[2] X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 42162@debbugs.gnu.org, Maurice =?UTF-8?Q?Br=C3=A9mond?= , Maxim Cournoyer , andreas.enge@inria.fr Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -0.36 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Queue-Id: 3195A9404FB X-Spam-Score: -0.36 X-Migadu-Scanner: scn1.migadu.com X-TUID: gF9QQgE26Ekc Am Wed, Jan 13, 2021 at 11:39:19AM +0100 schrieb Ludovic Courtès: > ISL, MPFI, and GMP-ECM haven’t migrated, it seems. gmp-ecm has migrated to gitlab.inria.fr; I just pushed a commit with an updated URI. Besides the automatically created gitlab releases with git snapshots, the maintainer also uploads a release tarball. I chose to use the latter, which requires to manually update a hash together with the version number upon a new release. Andreas