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
..
bootloader
build	file-systems: Add 'cleanly-unmounted-ext2?'.	2022-07-01 12:10:28 +02:00
home
installer
machine
packages	gnu: mcrl2: Update to 202206.0.	2022-07-01 15:45:37 +02:00
services	services: root-file-system: Cleanly unmount upon shutdown.	2022-07-01 12:10:28 +02:00
system	image: Raise an error when an image lacks a bootable partition.	2022-07-01 12:10:28 +02:00
tests	image: Add default value for partition initializer.	2022-07-01 12:10:28 +02:00
artwork.scm
bootloader.scm
ci.scm
home.scm
image.scm	image: Add sanitizers for 'format' and 'partition-table-type'.	2022-07-01 12:10:29 +02:00
installer.scm
local.mk	gnu: mcrl2: Update to 202206.0.	2022-07-01 15:45:37 +02:00
machine.scm
packages.scm
services.scm
system.scm
tests.scm