Tobias Geerinckx-Rice b92660afa4 gnu: coq: Update to 8.9.1. ... * gnu/packages/coq.scm (coq): Update to 8.9.1.		2019-06-07 18:36:02 +02:00
..
bootloader	…
build	accounts: Call 'fdatasync' when writing databases.	2019-06-05 23:10:37 +02:00
installer	installer: Always add '%base-initrd-modules' to 'initrd-modules'.	2019-06-05 17:27:22 +02:00
packages	gnu: coq: Update to 8.9.1.	2019-06-07 18:36:02 +02:00
services	services: Add Singularity.	2019-06-07 09:57:19 +02:00
system	linux-container: Check if nscd run directory exists when container is run.	2019-05-25 11:06:22 +05:30
tests	pack: Add '--entry-point'.	2019-06-07 09:57:19 +02:00
artwork.scm	…
bootloader.scm	…
ci.scm	…
installer.scm	…
local.mk	services: Add Singularity.	2019-06-07 09:57:19 +02:00
packages.scm	…
services.scm	…
system.scm	system: Add 'operating-system-with-gc-roots'.	2019-05-15 16:36:21 +02:00
tests.scm	…