Tobias Geerinckx-Rice d49375c722 gnu: z3: Update to 4.8.6. ... * gnu/packages/maths.scm (z3): Update to 4.8.6.		2019-09-28 05:36:12 +02:00
..
bootloader	…
build	shepherd: Ensure the log file has correct ownership.	2019-09-26 23:15:28 +02:00
installer	installer: Update to Guile-Parted 0.0.2 release.	2019-09-25 16:03:23 +02:00
machine	…
packages	gnu: z3: Update to 4.8.6.	2019-09-28 05:36:12 +02:00
services	…
system	…
tests	…
artwork.scm	…
bootloader.scm	…
ci.scm	…
installer.scm	…
local.mk	gnu: dealii: Update to 9.1.1.	2019-09-27 22:23:44 -05:00
machine.scm	…
packages.scm	…
services.scm	…
system.scm	…
tests.scm	…