Dan Frumin 66fbffde1f gnu: Add coq-stdpp. ... * gnu/packages/coq.scm (coq-stdpp): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>		2019-05-24 18:24:16 +02:00
..
bootloader	bootloader: grub: Remove unneeded 'terminal_output'.	2019-05-09 12:11:36 +02:00
build	vm: Create installation media with MBR and HFS only, no GPT.	2019-05-18 18:35:37 +02:00
installer	installer: Fix Guile-Parted crash on i686.	2019-05-19 11:58:36 +02:00
packages	gnu: Add coq-stdpp.	2019-05-24 18:24:16 +02:00
services	gnu: git-daemon-service-type: Fix typo "repositories".	2019-05-22 18:30:10 -07:00
system	Merge branch 'version-1.0.1'	2019-05-20 11:48:57 +02:00
tests	vm: 'system-docker-image' provides an entry point.	2019-05-15 16:36:21 +02:00
artwork.scm
bootloader.scm	bootloader: Add a 'keyboard-layout' field.	2019-03-24 23:06:11 +01:00
ci.scm
installer.scm	installer: Increase backtrace verbosity.	2019-05-15 09:28:45 +02:00
local.mk	gnu: Add squirrel.	2019-05-22 21:36:45 -04:00
packages.scm	packages: Reintroduce 'find-newest-available-packages'.	2019-03-28 23:06:58 +01:00
services.scm	services: 'gc-root-service-type' now has a default value.	2019-05-10 23:29:18 +02:00
system.scm	system: Add 'operating-system-with-gc-roots'.	2019-05-15 16:36:21 +02:00
tests.scm	accounts: Add default value for the 'home-directory' field of <user-account>.	2019-03-25 23:37:06 +01:00