bug-guix
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#51074: mcrl2-202106.0.tar.gz updated in place

From: Ludovic Courtès
Subject: bug#51074: mcrl2-202106.0.tar.gz updated in place
Date: Thu, 07 Oct 2021 15:21:23 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) 
Ludovic Courtès <ludovic.courtes@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'.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]