diff options
| author | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2022-06-27 18:35:27 +0200 |
|---|---|---|
| committer | Jan (janneke) Nieuwenhuizen <janneke@gnu.org> | 2022-07-01 15:45:37 +0200 |
| commit | 36a0ec9e784b74478f740474e7c3b8138372c3c3 (patch) | |
| tree | e7602ec1a8f8b5a5a273b7376bf447ce0ab9dfa1 /etc | |
| parent | 81cf674a5d5e3dc020df5d43ce62e1c98f2c9711 (diff) | |
| download | guix-36a0ec9e784b74478f740474e7c3b8138372c3c3.tar.gz | |
gnu: mcrl2: Update to 202206.0.
* gnu/packages/patches/mcrl2-fix-1687.patch, gnu/packages/patches/mcrl2-fix-counterexample.patch: New files. * gnu/local.mk (dist_patch_DATA): Add them. * gnu/packages/maths.scm (mcrl2): Update to 202206.0 and use them.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions