aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/patches/mcrl2-fix-1687.patch
Commit message (Expand)AuthorAge
* gnu: mcrl2: Update to 202206.0.Jan (janneke) Nieuwenhuizen2022-07-01