Tobias Geerinckx-Rice dbef037ff4 gnu: z3: Update to 4.8.7. ...

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

2019-12-01 00:49:15 +01:00

..

bootloader

…

build

system: vm: Add arm64 support.

2019-11-22 16:33:43 +01:00

installer

…

machine

…

packages

gnu: z3: Update to 4.8.7.

2019-12-01 00:49:15 +01:00

services

services: Add polkit-wheel-service to %desktop-services.

2019-11-30 23:50:40 +01:00

system

system: vm: Add arm64 support.

2019-11-22 16:33:43 +01:00

tests

tests: install: Fix typo.

2019-11-18 13:22:15 +09:00

artwork.scm

…

bootloader.scm

…

ci.scm

tests: "make check-system" uses Guix built with (guix self).

2019-11-13 23:26:35 +01:00

installer.scm

…

local.mk

gnu: fcgi: Update to 2.4.2.

2019-12-01 00:49:15 +01:00

machine.scm

…

packages.scm

…

services.scm

services: 'fold-services' memoizes service values.

2019-11-09 23:04:14 +01:00

system.scm

…

tests.scm

…