Commit message (Expand) | Author | Age | |
---|---|---|---|
* | gnu: mcrl2: Update to 202206.0. | Jan (janneke) Nieuwenhuizen | 2022-07-01 |
![]() |
index : guix-patches | |
Patches for guix | Gitolite user |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | gnu: mcrl2: Update to 202206.0. | Jan (janneke) Nieuwenhuizen | 2022-07-01 |