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 /gnu/local.mk | |
| 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 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 353b91cfd2..3a56ad371d 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -1481,6 +1481,8 @@ dist_patch_DATA = \ %D%/packages/patches/maxima-defsystem-mkdir.patch \ %D%/packages/patches/maven-generate-component-xml.patch \ %D%/packages/patches/maven-generate-javax-inject-named.patch \ + %D%/packages/patches/mcrl2-fix-1687.patch \ + %D%/packages/patches/mcrl2-fix-counterexample.patch \ %D%/packages/patches/mcrypt-CVE-2012-4409.patch \ %D%/packages/patches/mcrypt-CVE-2012-4426.patch \ %D%/packages/patches/mcrypt-CVE-2012-4527.patch \ |