Martin Becze dc2de508a3 gnu: z3: Update to 4.8.9. ...

* gnu/packages/maths.scm (z3): Update to 4.8.9.

Signed-off-by: Christopher Baines <mail@cbaines.net>

2020-11-16 21:19:45 +00:00

..

bootloader

system: Generate grub locale directory for grub.cfg.

2020-11-01 01:14:36 +01:00

build

Add (gnu build chromium-extension).

2020-11-08 18:21:15 +01:00

installer

installer: parted: Add debug output.

2020-11-08 19:41:12 +01:00

machine

machine: ssh: Do not import the host (guix config).

2020-11-09 23:27:09 +01:00

packages

gnu: z3: Update to 4.8.9.

2020-11-16 21:19:45 +00:00

services

services: gmnisrv: Export procedures and service type.

2020-11-14 11:32:40 +00:00

system

Merge branch 'version-1.2.0'

2020-11-12 10:47:25 +01:00

tests

tests: nfs-root-fs: Use the right store file name.

2020-11-07 12:48:24 +01:00

artwork.scm

…

bootloader.scm

gnu: bootloader: Support chain loading to an EFI bootloader.

2020-11-16 10:33:18 +01:00

ci.scm

ci: Restore license handling.

2020-11-02 21:02:39 +01: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: gcc-vc4: Update to commit 0fe4b83897341742f9df65797474cb0feab4b377.

2020-11-16 15:02:48 +01: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: Change comment wording.

2020-11-02 18:22:33 +01:00

tests.scm

…