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

Thu, 07 Oct 2021 06:36:18 -0700 

Ludovic Courtès <ludovic.cour...@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