Martin Becze 62671027fb gnu: z3: Update to 4.8.9. ... * gnu/packages/maths.scm (z3): Update to 4.8.9. (cherry picked from commit dc2de508a3) Signed-off-by: Christopher Baines <mail@cbaines.net>		2020-11-17 21:39:12 +00:00
..
bootloader	system: Use locale information in grub.cfg.	2020-10-18 15:33:05 +02:00
build	Merge branch 'staging'	2020-10-19 13:11:40 -04:00
installer	installer: Add Emacs EXWM desktop environment.	2020-10-13 21:17:40 +02:00
machine	system: Provide locale information to the bootloader.	2020-10-18 15:33:05 +02:00
packages	gnu: z3: Update to 4.8.9.	2020-11-17 21:39:12 +00:00
services	services: docker: Fix missing containerd-shim binary.	2020-10-17 00:43:24 +03:00
system	Merge branch 'staging'	2020-10-19 13:11:40 -04:00
tests	installer: Add Emacs EXWM desktop environment.	2020-10-13 21:17:40 +02:00
artwork.scm
bootloader.scm
ci.scm	images: Add pine64-barebones-raw-image.	2020-10-06 09:51:43 +02:00
image.scm	image: Add image-type support.	2020-09-30 10:47:59 +02:00
installer.scm	installer: Call setlocale after init gettext.	2020-10-18 17:55:40 +02:00
local.mk	gnu: jsoncpp: Update to 1.9.4	2020-11-17 21:38:42 +00:00
machine.scm
packages.scm
services.scm	services: provenance: Wrap config file name in 'assume-valid-file-name'.	2020-10-16 15:00:50 +02:00
system.scm	system: Provide locale information to the bootloader.	2020-10-18 15:33:05 +02:00
tests.scm