GNU bug report logs - #29284
hash mismatch for coq-interval's source

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 29284 in the body.
You can then email your comments to 29284 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Efraim Flashner <efraim <at> flashner.co.il>
To: bug-guix <at> gnu.org
Subject: hash mismatch for coq-interval's source
Date: Mon, 13 Nov 2017 15:26:43 +0200

[Message part 1 (text/plain, inline)]

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.tar.gz...
 ....3.0.tar.gz  263KiB             801KiB/s 00:00 [####################] 100.0%
sha256 hash mismatch for output path `/gnu/store/wa7rmwjcqb4ib5h5fs7bfiz2cw94kys6-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/wa7rmwjcqb4ib5h5fs7bfiz2cw94kys6-interval-3.3.0.tar.gz'
  expected: 08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903
  actual:   16ir7mizl18kwa1ls8fwjih6r87894bvc1r6lh85cd43la7nriq3
guix build: error: build failed: build of `/gnu/store/2ba7mhbqrr15ll4s07595p6dcgglq9is-interval-3.3.0.tar.gz.drv' failed

-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

[signature.asc (application/pgp-signature, inline)]

Message #10 received at 29284-done <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Efraim Flashner <efraim <at> flashner.co.il>,
 Julien Lepiller <julien <at> lepiller.eu>
Cc: 29284-done <at> debbugs.gnu.org
Subject: Re: bug#29284: hash mismatch for coq-interval's source
Date: Fri, 24 Nov 2017 18:51:18 +0100

Efraim Flashner <efraim <at> flashner.co.il> 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.tar.gz...
>  ....3.0.tar.gz  263KiB             801KiB/s 00:00 [####################] 100.0%
> sha256 hash mismatch for output path `/gnu/store/wa7rmwjcqb4ib5h5fs7bfiz2cw94kys6-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/wa7rmwjcqb4ib5h5fs7bfiz2cw94kys6-interval-3.3.0.tar.gz'
>   expected: 08fdcf3hbwqphglvwprvqzgkg0qbimpyhnqsgv3gac4y1ap0f903
>   actual:   16ir7mizl18kwa1ls8fwjih6r87894bvc1r6lh85cd43la7nriq3
> guix build: error: build failed: build of `/gnu/store/2ba7mhbqrr15ll4s07595p6dcgglq9is-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’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.