GNU bug report logs - #51074
mcrl2-202106.0.tar.gz updated in place

Previous Next

Package: guix;

Reported by: Ludovic Courtès <ludovic.courtes <at> inria.fr>

Date: Thu, 7 Oct 2021 10:50:01 UTC

Severity: normal

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: 51074-done <at> debbugs.gnu.org
Subject: Re: bug#51074: mcrl2-202106.0.tar.gz updated in place
Date: Thu, 07 Oct 2021 15:21:23 +0200

Ludovic Courtès <ludovic.courtes <at> inria.fr> skribis:

> The changes correspond to the 54fa1483c9..c335fb2d5f diff at
> <https://github.com/mCRL2org/mCRL2>.
>
> I’ll update the tarball hash.

Done in 16e3f8d90a424abf17be94d7ae216d9feb932e8a.

Ludo'.
This bug report was last modified 3 years and 286 days ago.

Previous Next

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