Dan Frumin 7d60df330a gnu: Add coq-autosubst ... * gnu/packages/coq.scm (coq-autosubst): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>		2019-02-07 22:30:32 +01:00
..
bootloader
build
installer
packages	gnu: Add coq-autosubst	2019-02-07 22:30:32 +01:00
services	gnu: Move most packages from guile.scm to new module.	2019-01-28 14:57:10 +01:00
system
tests
artwork.scm
bootloader.scm
ci.scm
installer.scm	gnu: Move most packages from guile.scm to new module.	2019-01-28 14:57:10 +01:00
local.mk	gnu: musescore: Update to 3.0.2.	2019-02-05 23:11:43 +01:00
packages.scm
services.scm
system.scm
tests.scm