From mboxrd@z Thu Jan 1 00:00:00 1970 From: Efraim Flashner Subject: bug#29284: hash mismatch for coq-interval's source Date: Mon, 13 Nov 2017 15:26:43 +0200 Message-ID: <20171113132643.GL1815@macbook41> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="7VkxxUl3xUvPtoxk" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60590) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eEElY-0002CL-CV for bug-guix@gnu.org; Mon, 13 Nov 2017 08:27:09 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eEElS-00065j-Oy for bug-guix@gnu.org; Mon, 13 Nov 2017 08:27:08 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:57402) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eEElS-00065B-KL for bug-guix@gnu.org; Mon, 13 Nov 2017 08:27:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eEElS-0005NJ-Bb for bug-guix@gnu.org; Mon, 13 Nov 2017 08:27:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: 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) Content-Disposition: inline List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: 29284@debbugs.gnu.org --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--