summaryrefslogtreecommitdiff
path: root/gnu/packages/patches/mcrl2-fix-counterexample.patch
Commit message (Expand)AuthorAge
* gnu: mcrl2: Update to 202206.0.Jan (janneke) Nieuwenhuizen2022-07-01
generated by cgit v1.2.3 (git 2.45.0) at 2024-06-03 10:17:14 +0000