GNU bug report logs - #50809
tla2tools fails to build

Previous Next

Package: guix;

Reported by: Andrew Patterson <andrewpatt7 <at> gmail.com>

Date: Sun, 26 Sep 2021 04:07:02 UTC

Severity: normal

Done: Tobias Geerinckx-Rice <me <at> tobias.gr>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Andrew Patterson <andrewpatt7 <at> gmail.com>
To: 50809 <at> debbugs.gnu.org
Subject: bug#50809: tla2tools fails to build
Date: Sun, 26 Sep 2021 00:02:29 -0400

[Message part 1 (text/plain, inline)]
tla2tools fails to build with a hash mismatch:

[log-tla2tools-1.8.0-current (text/plain, attachment)]
[Message part 3 (text/plain, inline)]
I tried the obvious fix of putting in the correct hash, but then 
it failed with a patch failure:

[log-tla2tools-1.8.0-correct-hash (text/plain, attachment)]
[Message part 5 (text/plain, inline)]

Given that the current tag v1.8.0 is from 2021-09-14 while ~git 
blame~ says that tla2tools hasn't been touched since 2021-04-15, 
something weird is definitely going on.  I could continue to try 
and hack this into working, but I don't know how I would make sure 
this doesn't happen again, and I would prefer if whoever wrote 
this originally (apparently Mike Gerwitz or Ludovic Courtès?) 
could at least help.

-- 
Andrew Patterson
This bug report was last modified 3 years and 235 days ago.

Previous Next

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