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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: tracker <at> debbugs.gnu.org
Subject: bug#29284: closed (hash mismatch for coq-interval's source)
Date: Fri, 24 Nov 2017 17:52:01 +0000

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

Your message dated Fri, 24 Nov 2017 18:51:18 +0100
with message-id <87shd38t0p.fsf <at> gnu.org>
and subject line Re: bug#29284: hash mismatch for coq-interval's source
has caused the debbugs.gnu.org bug report #29284,
regarding hash mismatch for coq-interval's source
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
29284: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=29284
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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 3 (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 part 5 (message/rfc822, inline)]

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.