Zhu Zihao cec5142183 gnu: z3: Update to 4.8.17. ...

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

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

2022-07-04 12:29:04 +02:00

..

bootloader

image: Add support for 32bit UEFI.

2022-06-24 10:21:06 +02:00

build

file-systems: Add 'cleanly-unmounted-ext2?'.

2022-07-01 12:10:28 +02:00

home

home: services: shells: Export Fish environment variables.

2022-06-29 20:40:36 +02:00

installer

Revert "installer: user: Remove useless filtering."

2022-05-21 00:15:08 +02:00

machine

…

packages

gnu: z3: Update to 4.8.17.

2022-07-04 12:29:04 +02:00

services

services: guix-build-coordinator: Fix passing parallel-hooks.

2022-07-03 20:38:09 +01:00

system

image: Raise an error when an image lacks a bootable partition.

2022-07-01 12:10:28 +02:00

tests

image: Add default value for partition initializer.

2022-07-01 12:10:28 +02:00

artwork.scm

…

bootloader.scm

…

ci.scm

Move (gnu platform) and (gnu platforms ...) to guix/.

2022-05-25 09:27:25 +02:00

home.scm

home: Add gexp-compiler for home-environments.

2021-12-19 23:39:55 +01:00

image.scm

image: Add sanitizers for 'format' and 'partition-table-type'.

2022-07-01 12:10:29 +02:00

installer.scm

…

local.mk

gnu: tbb: Fix building on riscv64-linux.

2022-07-04 11:14:41 +03:00

machine.scm

…

packages.scm

packages: Use SRFI-71 instead of SRFI-11.

2022-06-06 22:43:30 +02:00

services.scm

gnu: services: Update setuid service description.

2022-05-29 02:00:19 +02:00

system.scm

system: <operating-system> compiler truly honors the 'system' argument.

2022-06-15 00:25:20 +02:00

tests.scm

services: Add more description fields.

2022-05-18 22:29:54 +02:00