Liliana Marie Prikler 857c50d6e0 gnu: z3: Update to 4.13.0. ... * gnu/packages/maths.scm (z3): Update to 4.13.0.		2024-10-06 12:17:16 +02:00
..
bootloader
build
home	home: xdg-mime-applications: Fix file name spelling.	2024-09-29 22:21:34 +08:00
installer
machine
packages	gnu: z3: Update to 4.13.0.	2024-10-06 12:17:16 +02:00
services	services: file-system: Do not try to unmount /dev and /.	2024-09-19 19:03:08 +02:00
system
tests	services: cleanup: Reintroduce explicit ‘chmod’ calls.	2024-09-25 17:53:53 +02:00
artwork.scm
bootloader.scm
ci.scm
compression.scm
home.scm
image.scm
installer.scm	installer: Use the latest ‘iso-codes’.	2024-09-28 12:55:54 +02:00
local.mk	gnu: ddd: Update to 3.4.1.	2024-10-04 17:28:51 +02:00
machine.scm
packages.scm
services.scm	services: cleanup: Reintroduce explicit ‘chmod’ calls.	2024-09-25 17:53:53 +02:00
system.scm
tests.scm