Julien Lepiller 69b54f06c1 gnu: coq: Update to 8.8.0. ... * gnu/packages/ocaml.scm (coq): Update to 8.8.0.		2018-05-04 21:30:33 +02:00
..
bootloader	…
build	…
packages	gnu: coq: Update to 8.8.0.	2018-05-04 21:30:33 +02:00
services	gnu: Add sound service.	2018-05-02 15:11:13 +03:00
system	file-systems: Expound '%pseudo-file-system-types'.	2018-04-29 17:55:08 +02:00
tests	services: Add modem-manager-service-type.	2018-04-30 03:47:16 +02:00
artwork.scm	…
bootloader.scm	…
local.mk	gnu: Add sound service.	2018-05-02 15:11:13 +03:00
packages.scm	…
services.scm	…
system.scm	…
tests.scm	…