Dan Frumin ec23bae682 gnu: Add coq-equations. ... * gnu/packages/coq.scm (coq-equations): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>		2019-02-13 22:21:41 +01:00
..
bootloader
build	linux-modules: module-soft-dependencies: Remove colon from section names.	2019-01-25 18:24:00 +01:00
installer
packages	gnu: Add coq-equations.	2019-02-13 22:21:41 +01:00
services	services: Add cups-pk-helper.	2019-02-13 08:19:05 +00:00
system	pack, vm: Fix incorrect use of 'package-transitive-propagated-inputs'.	2019-02-11 23:23:28 +01:00
tests
artwork.scm	artwork: Update snapshot to e951905.	2019-02-10 23:25:01 +01:00
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: scalapack: Remove use of deprecated MPI1 symbols.	2019-02-13 14:08:19 -06:00
packages.scm
services.scm
system.scm
tests.scm