From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id AIINFr7LUWGHWAEAgWs5BA (envelope-from ) for ; Mon, 27 Sep 2021 15:48:46 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id 6GDDEb7LUWHYEgAA1q6Kng (envelope-from ) for ; Mon, 27 Sep 2021 13:48:46 +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 B9D8D186FC for ; Mon, 27 Sep 2021 15:48:45 +0200 (CEST) Received: from localhost ([::1]:49164 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mUqzs-0004sV-S4 for larch@yhetil.org; Mon, 27 Sep 2021 09:48:44 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52148) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mUqzD-0004qD-Dx for bug-guix@gnu.org; Mon, 27 Sep 2021 09:48:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:56798) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mUqzD-0005ZC-6K for bug-guix@gnu.org; Mon, 27 Sep 2021 09:48:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mUqzD-0003lZ-32 for bug-guix@gnu.org; Mon, 27 Sep 2021 09:48:03 -0400 Subject: bug#50809: tla2tools fails to build References: <87czowyo8h.fsf@gmail.com> In-Reply-To: <87czowyo8h.fsf@gmail.com> Resent-From: Tobias Geerinckx-Rice Original-Sender: "Debbugs-submit" Resent-To: bug-guix@gnu.org Resent-Date: Mon, 27 Sep 2021 13:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 50809 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 50809-done@debbugs.gnu.org Mail-Followup-To: 50809@debbugs.gnu.org, me@tobias.gr, andrewpatt7@gmail.com Received: via spool by 50809-done@debbugs.gnu.org id=D50809.163275043014307 (code D ref 50809); Mon, 27 Sep 2021 13:48:02 +0000 Received: (at 50809-done) by debbugs.gnu.org; 27 Sep 2021 13:47:10 +0000 Received: from localhost ([127.0.0.1]:40103 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUqyM-0003ih-9c for submit@debbugs.gnu.org; Mon, 27 Sep 2021 09:47:10 -0400 Received: from tobias.gr ([80.241.217.52]:52296) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mUqyL-0003iY-1x for 50809-done@debbugs.gnu.org; Mon, 27 Sep 2021 09:47:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; s=2018; bh=URe4VPpxn6p5n HeuThI6kc62/kqiiyvU2OFfM0KQQx8=; h=date:subject:to:from; d=tobias.gr; b=E/aOcsdRcKhVyuaSpemkDlIoV45PY6ivCf+kleqF5UK+aQzDZ4OpGXVOvCTXri9vZM6w Te1S1ZROC6/1WE88YKy26/y9ihHB5mGmCN3tZtusxzK/hg5foaZtL5pJqsJT4Vgf965pRo 8toE7qJIhJ7fLrvKsgZDgS3c9om/0bszY6dKcMXStXHfim7tH+wezMTcBdLjLPagXjTqOc WM/5jfOXtFuS2W421dGJlRsrI91/wr+ds6PNHL8iX4iiYnlZE7Xhpdn7cz6y8a+vi7jp1o xZ0DfmbvnK8hbNwCneylrSUgK1HQFFHVYLmCS7iyJAZsV6pWh+zqs1GpuQYbZGgA== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 2923d515 (TLSv1.3:AEAD-AES256-GCM-SHA384:256:NO) for <50809-done@debbugs.gnu.org>; Mon, 27 Sep 2021 13:47:05 +0000 (UTC) Date: Mon, 27 Sep 2021 14:26:29 +0200 BIMI-Selector: v=BIMI1; s=default; Message-ID: <8735pqqgf9.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" 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: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" Reply-to: Tobias Geerinckx-Rice From: Tobias Geerinckx-Rice via Bug reports for GNU Guix X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1632750526; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type:resent-to:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=URe4VPpxn6p5nHeuThI6kc62/kqiiyvU2OFfM0KQQx8=; b=gaW2NDQpTU1lhRdjJ5djBM6y4gqAPGxJ4wnPam6sD8KCNlw60OiQDEbA/MJdYURCFn80gr Of9/0A1vbrs9wjc7UVqZHCcik5e5ecTk8q7nOnEqgtDpCjrmsNXOXkjmBKJIp7lwrImERB EDZ3Q8FgsEj/1TOzN9Fq3uposERzlqYMpostKNC18SYvF9ItMB5O4WqSbagucNvhoFAMcz OCrkc1RKKA3lI5o8+ZwRqkHCLc3usI+8Qml7gqC2XOs4cf8FJKrPgOpA75kaJ6WdECKewj cAajztVcFG1axiyZds/dQ0eWV7S6g3C4JgefAs14AvyaKlB7s9zMXPJmf5HcsA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1632750526; a=rsa-sha256; cv=none; b=m6wsHxKGR0LhcF3PWoaFoDUxrGYkA9qNRoJBUIEBopa9X4iKP8GBAsW1mrUat93qEWBaDX v9FMbBq6u/gdKz+PggOtL0Tj9HrKKlPlyvysoLXaj+sblikOgqemtfXKfLiyjLy+bNi8tD 8sLA+fWBlpey9Hl7D7v68WLvQduf0MbgJvS+0j++m0Lk41FxzhyCARguMmliJEXI07/DMJ E//dx0vvfeVS690xWETDkGfT3KtXuDBQj9yreE7E0220o9PBmhOK0OV9bb1sWIT5MvMojx fKjcL0xFnscu6/8uP81celkc6cmVBE5pW7yJjf1Ag2e1zdhzJbWbfUHMSNsJOQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tobias.gr header.s=2018 header.b="E/aOcsdR"; 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-Spam-Score: -4.49 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=tobias.gr header.s=2018 header.b="E/aOcsdR"; dmarc=pass (policy=none) header.from=gnu.org; 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: B9D8D186FC X-Spam-Score: -4.49 X-Migadu-Scanner: scn0.migadu.com X-TUID: +747cF60/+et --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Andrew, Thanks for reporting this! Fixed in Guix commit 86d316b. > I tried the obvious fix of putting in the correct hash Obvious maybe, but not much of a fix, as you discovered: what=20 mishappened to change the hash in the first place? Anything bad?=20 Would it happen again next week? > expected hash:=20 > 1hhx8gmn81k8qrkx4p7ppinmygxga9fqffd626wkvhjgg2ky8lhs This hash corresponds to tlaplus commit 6932e19. > actual hash:=20 > 0xqp2ayn3knmdcs5h1sb70rf1adirg2i4igl0y2r0mlx4wwlma2h This hash corresponds to tlaplus commit 875bf8f. > Given that the current tag v1.8.0 is from 2021-09-14 while ~git=20 > blame~ says that tla2tools hasn't been touched since 2021-04-15,=20 > something weird is definitely going on. Upstream has moved the v1.8.0 =E2=80=98tag=E2=80=99 by *eighty-seven* commi= ts!=20 Probably more. Why?? Are they nihilistic hellraisers? Probably=20 not: according to [0] 1.8.0 is not a proper release. Oops. Let's give them the benefit=20 of the doubt. If it still moves after the release, and if I don't forget, I'll=20 file a bug. Closing this one, T G-R [0]: https://github.com/tlaplus/tlaplus/releases/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCYVHLWg0cbWVAdG9iaWFz LmdyAAoJEA2w/4hPVW153xQBAM7mjUSA5oVTkNI86+HgxoMBk13nmfdaZLLIwzRX EPoZAQDAr8lgBJwvpk/x98vKwA5WXxyh8Rdot5eqK1HG5bUZAQ== =RPG3 -----END PGP SIGNATURE----- --=-=-=--