guix-devel/gnu
Amin Bandali 6654f8c144
gnu: z3: Update to 4.8.4.
* gnu/packages/maths.scm (z3): Update to 4.8.4.

Signed-off-by: Leo Famulari <leo@famulari.name>
2019-01-18 11:12:59 -05:00
..
bootloader gnu: Add u-boot-pinebook. 2018-11-22 21:59:05 +01:00
build file-systems: Add read-luks-partition-uuid. 2019-01-17 14:04:26 +01:00
installer installer: Fix manual partitioning. 2019-01-17 14:04:28 +01:00
packages gnu: z3: Update to 4.8.4. 2019-01-18 11:12:59 -05:00
services services: openssh: Add escape hatch. 2019-01-17 17:58:35 +01:00
system installer: Move everything to the build side. 2019-01-17 14:04:21 +01:00
tests tests: Rename %test-encrypted-os to %test-encrypted-root-os. 2019-01-17 14:04:21 +01:00
artwork.scm artwork: Clone over HTTPS. 2018-11-05 00:08:47 +01:00
bootloader.scm bootloader: Remove deprecated 'device' field. 2019-01-16 14:07:38 +01:00
ci.scm hydra: Compute jobs in an inferior. 2019-01-06 21:41:07 +01:00
installer.scm installer: Various renamings. 2019-01-17 14:04:26 +01:00
local.mk gnu: OpenSSH: Fix CVE-2018-20685. 2019-01-17 14:02:04 -05:00
packages.scm guix package: '--list-available' can use data from the cache. 2019-01-15 20:24:09 +01:00
services.scm services: 'instantiate-missing-services' reaches fixed point. 2018-09-07 23:00:39 +02:00
system.scm gnu: Add graphical installer support. 2019-01-17 14:04:20 +01:00
tests.scm tests: Warn about test module load failures. 2018-08-29 23:32:01 +02:00