Dan Frumin 3d03fed47f gnu: coq-coquelicot: Update to 3.0.2. ... * gnu/packages/coq.scm (coq-coquelicot): Update to 3.0.2. Signed-off-by: Julien Lepiller <julien@lepiller.eu>		2019-03-04 20:58:57 +01:00
..
bootloader
build	activation: Make home directories #o700 by default.	2019-03-04 15:22:58 +01:00
installer	gnu: Remove unused TIMEZONE-LISTBOX-HEIGTH.	2019-02-18 01:52:48 +01:00
packages	gnu: coq-coquelicot: Update to 3.0.2.	2019-03-04 20:58:57 +01:00
services	services: Use 'file-append' for user account shells.	2019-03-04 15:22:58 +01:00
system	pack, vm: Fix incorrect use of 'package-transitive-propagated-inputs'.	2019-02-11 23:23:28 +01:00
tests	tests: Use non-deprecated (guix store) API.	2019-03-04 15:22:58 +01:00
artwork.scm	artwork: Update snapshot to e951905.	2019-02-10 23:25:01 +01:00
bootloader.scm
ci.scm
installer.scm
local.mk	gnu: thermald: Update to 1.8.	2019-03-04 19:07:10 +01:00
packages.scm	packages: Remove duplicates from package cache.	2019-02-16 01:00:08 +01:00
services.scm
system.scm
tests.scm