From unknown Wed Jun 18 23:17:01 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#29284 <29284@debbugs.gnu.org> To: bug#29284 <29284@debbugs.gnu.org> Subject: Status: hash mismatch for coq-interval's source Reply-To: bug#29284 <29284@debbugs.gnu.org> Date: Thu, 19 Jun 2025 06:17:01 +0000 retitle 29284 hash mismatch for coq-interval's source reassign 29284 guix submitter 29284 Efraim Flashner severity 29284 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 13 08:27:00 2017 Received: (at submit) by debbugs.gnu.org; 13 Nov 2017 13:27:00 +0000 Received: from localhost ([127.0.0.1]:37850 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEElQ-0005N1-BX for submit@debbugs.gnu.org; Mon, 13 Nov 2017 08:27:00 -0500 Received: from eggs.gnu.org ([208.118.235.92]:41243) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eEElN-0005Mn-UN for submit@debbugs.gnu.org; Mon, 13 Nov 2017 08:26:58 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eEElH-0005jt-Qk for submit@debbugs.gnu.org; Mon, 13 Nov 2017 08:26:52 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:46158) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eEElH-0005jV-NS for submit@debbugs.gnu.org; Mon, 13 Nov 2017 08:26:51 -0500 Received: from eggs.gnu.org ([2001:4830:134:3::10]:60440) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eEElG-0001nm-Ff for bug-guix@gnu.org; Mon, 13 Nov 2017 08:26:51 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eEElB-0005Xv-Iq for bug-guix@gnu.org; Mon, 13 Nov 2017 08:26:50 -0500 Received: from flashner.co.il ([178.62.234.194]:47366) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eEElB-0005Wa-BC for bug-guix@gnu.org; Mon, 13 Nov 2017 08:26:45 -0500 Received: from localhost (46-117-130-79.bb.netvision.net.il [46.117.130.79]) by flashner.co.il (Postfix) with ESMTPSA id 4A9B940214 for ; Mon, 13 Nov 2017 13:26:44 +0000 (UTC) Date: Mon, 13 Nov 2017 15:26:43 +0200 From: Efraim Flashner To: bug-guix@gnu.org Subject: hash mismatch for coq-interval's source Message-ID: <20171113132643.GL1815@macbook41> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="7VkxxUl3xUvPtoxk" Content-Disposition: inline User-Agent: Mutt/1.9.1 (2017-09-22) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.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: -4.0 (----) --7VkxxUl3xUvPtoxk Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Starting download of /gnu/store/wa7rmwjcqb4ib5h5fs7bfiz2cw94kys6-interval-3= =2E3.0.tar.gz =46rom https://gforge.inria.fr/frs/download.php/file/36538/interval-3.3.0.t= ar.gz... ....3.0.tar.gz 263KiB 801KiB/s 00:00 [####################] 1= 00.0% sha256 hash mismatch for output path `/gnu/store/wa7rmwjcqb4ib5h5fs7bfiz2cw= 94kys6-interval-3.3.0.tar.gz' expected: 08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903 actual: 16ir7mizl18kwa1ls8fwjih6r87894bvc1r6lh85cd43la7nriq3 @ build-failed /gnu/store/2ba7mhbqrr15ll4s07595p6dcgglq9is-interval-3.3.0.t= ar.gz.drv - 1 sha256 hash mismatch for output path `/gnu/store/wa7rmwjcqb4i= b5h5fs7bfiz2cw94kys6-interval-3.3.0.tar.gz' expected: 08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903 actual: 16ir7mizl18kwa1ls8fwjih6r87894bvc1r6lh85cd43la7nriq3 guix build: error: build failed: build of `/gnu/store/2ba7mhbqrr15ll4s07595= p6dcgglq9is-interval-3.3.0.tar.gz.drv' failed --=20 Efraim Flashner =D7=90=D7=A4=D7=A8=D7=99=D7=9D = =D7=A4=D7=9C=D7=A9=D7=A0=D7=A8 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --7VkxxUl3xUvPtoxk Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAloJnY8ACgkQQarn3Mo9 g1Gi3xAAp+XqEmvRmspYVayqopZBthXHATYAVaK6+D+woNYyRQnOhwyy3VKQhVMu D4jkvvyh3sL2bIHnUVuzofBKyEej1ldMV7Cz9Lvoj6ocZCp20/fX+d49txnvLC/T 7j8aQmjStEXBozr0ERPB+uJAH1WAdYuewxXaC9WQdWbaqu0bET3uLNImpzqujARU ZB94BLOlHnWMKLD0Zj3o/RXXWOD8JuvPatTGcXXjIrTTwFMqDdpriNnrwTLZcvi1 wDPMD9BPdMZgxCaRW7DALqocQCzUzQwINlK5RZnB2jesGZVt1prs2NTbJalYPBRF U+Bn/FEexItjumAWZNnMd2jXhCqltXWMVgpM0fV8OjGysw3Zskd35k355dVpW5GA 3/vvf4JeRb8knQfL7wpN4WFsLk9y4rM88OLRIeXGq74dFVtmDRm+KKc2ZP+pvRnd y3PF9JsngqE/L8KlNzDFad9EIkicY/70yfir/pCVwoVvcVnmTvw5ycv2IuRp0mjb jRO1VbRTDClAZxMMwHj3ZDDU6Mnlk1N9KZq7Az6xJLasV47hn6dKQpX3JNa2i4E6 k2I0IqhYKZQ4VFUJum+rMyMNosQDg7XLv83RudczPj7eYrzylcP2MiR727RTt30O jn6dD+dGwMU5R44G+bLHc2KPQ3Ga5qzQuQVqlyX75Ge/pKBubZk= =mCPj -----END PGP SIGNATURE----- --7VkxxUl3xUvPtoxk-- From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 24 12:51:21 2017 Received: (at 29284-done) by debbugs.gnu.org; 24 Nov 2017 17:51:21 +0000 Received: from localhost ([127.0.0.1]:56310 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eII8H-0000vr-HX for submit@debbugs.gnu.org; Fri, 24 Nov 2017 12:51:21 -0500 Received: from hera.aquilenet.fr ([141.255.128.1]:40487) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eII8G-0000vi-CW for 29284-done@debbugs.gnu.org; Fri, 24 Nov 2017 12:51:20 -0500 Received: from localhost (localhost [127.0.0.1]) by hera.aquilenet.fr (Postfix) with ESMTP id 4A65A10073; Fri, 24 Nov 2017 18:51:22 +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 XKJscnDBqT1v; Fri, 24 Nov 2017 18:51:21 +0100 (CET) Received: from ribbon (unknown [193.50.110.215]) by hera.aquilenet.fr (Postfix) with ESMTPSA id 5BFEA10072; Fri, 24 Nov 2017 18:51:21 +0100 (CET) From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Efraim Flashner , Julien Lepiller Subject: Re: bug#29284: hash mismatch for coq-interval's source References: <20171113132643.GL1815@macbook41> Date: Fri, 24 Nov 2017 18:51:18 +0100 In-Reply-To: <20171113132643.GL1815@macbook41> (Efraim Flashner's message of "Mon, 13 Nov 2017 15:26:43 +0200") Message-ID: <87shd38t0p.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: 29284-done Cc: 29284-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: 1.0 (+) Efraim Flashner skribis: > Starting download of /gnu/store/wa7rmwjcqb4ib5h5fs7bfiz2cw94kys6-interval= -3.3.0.tar.gz > From https://gforge.inria.fr/frs/download.php/file/36538/interval-3.3.0.t= ar.gz... > ....3.0.tar.gz 263KiB 801KiB/s 00:00 [####################]= 100.0% > sha256 hash mismatch for output path `/gnu/store/wa7rmwjcqb4ib5h5fs7bfiz2= cw94kys6-interval-3.3.0.tar.gz' > expected: 08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903 > actual: 16ir7mizl18kwa1ls8fwjih6r87894bvc1r6lh85cd43la7nriq3 > @ build-failed /gnu/store/2ba7mhbqrr15ll4s07595p6dcgglq9is-interval-3.3.0= .tar.gz.drv - 1 sha256 hash mismatch for output path `/gnu/store/wa7rmwjcqb= 4ib5h5fs7bfiz2cw94kys6-interval-3.3.0.tar.gz' > expected: 08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903 > actual: 16ir7mizl18kwa1ls8fwjih6r87894bvc1r6lh85cd43la7nriq3 > guix build: error: build failed: build of `/gnu/store/2ba7mhbqrr15ll4s075= 95p6dcgglq9is-interval-3.3.0.tar.gz.drv' failed Fixed in f7f8930b37e1c51af99e363421eb54f2dab224f8. Julien, this was due to the fact that the 3.3.0 upgrade did not also upgrade the gforge.inria.fr path, which changes at each version. Thanks, Ludo=E2=80=99. From unknown Wed Jun 18 23:17:01 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 23 Dec 2017 12:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator