This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

Tobias Geerinckx-Rice 0fe654ebcd gnu: z3: Update to 4.8.8. ... * gnu/packages/maths.scm (z3): Update to 4.8.8.		2020-05-16 15:05:05 +02:00
..
bootloader	bootloader: grub: Refer to the native 'grub-mklayout' and font file.	2020-05-16 00:34:40 +02:00
build	Merge branch 'master' into core-updates	2020-05-05 20:43:21 +02:00
installer	installer: connman: Fix Wifi connection.	2020-04-19 11:46:21 +02:00
machine	…
packages	gnu: z3: Update to 4.8.8.	2020-05-16 15:05:05 +02:00
services	services: shepherd: Silence Guile warnings.	2020-05-16 00:34:41 +02:00
system	linux-initrd: Silence Guile warnings.	2020-05-16 00:34:41 +02:00
tests	Merge branch 'master' into core-updates	2020-05-05 20:43:21 +02:00
artwork.scm	…
bootloader.scm	…
ci.scm	Merge branch 'master' into core-updates	2020-05-05 20:43:21 +02:00
image.scm	image: Add a new API.	2020-05-05 16:13:53 +02:00
installer.scm	Merge branch 'master' into core-updates	2020-04-19 16:53:01 +02:00
local.mk	gnu: ruby-2.4: Update to 2.4.10.	2020-05-13 17:37:23 +01:00
machine.scm	…
packages.scm	…
services.scm	services: system: Initial entries are non-monadic.	2020-04-26 22:49:49 +02:00
system.scm	Merge branch 'master' into core-updates	2020-05-05 20:43:21 +02:00
tests.scm	…