1
0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-23 18:50:32 +02:00
Files
guix/gnu/packages/patches
Jan (janneke) Nieuwenhuizen 36a0ec9e78 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.
2022-07-01 15:45:37 +02:00
..
2021-11-29 14:58:39 +01:00
2021-07-16 00:06:05 -04:00
2021-11-11 12:18:25 -05:00
2021-07-29 21:54:55 +02:00
2021-07-29 21:54:54 +02:00
2022-02-07 14:02:26 +01:00
2021-05-11 18:07:09 -04:00
2021-06-28 22:19:50 +03:00
2022-01-11 11:16:51 +01:00
2021-08-04 15:44:09 +02:00
2022-06-15 00:25:22 +02:00
2021-12-16 08:58:07 +01:00
2021-10-08 09:13:53 +02:00
2021-09-24 13:48:49 +02:00
2021-09-28 12:39:30 +00:00
2021-05-05 16:56:46 +02:00
2021-06-21 10:16:04 +02:00
2022-05-31 14:54:06 -04:00
2022-05-31 14:54:06 -04:00
2022-05-31 14:54:06 -04:00