guix-devel/gnu
Ludovic Courtès 7bf1dc7570
build: Add coq.scm to the distribution.
This is a followup to 33af92dd99.

* gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/packages/coq.scm.
2019-01-18 17:51:34 +01:00
..
bootloader gnu: Add u-boot-pinebook. 2018-11-22 21:59:05 +01:00
build file-systems: Add read-luks-partition-uuid. 2019-01-17 14:04:26 +01:00
installer installer: Fix manual partitioning. 2019-01-17 14:04:28 +01:00
packages gnu: z3: Update to 4.8.4. 2019-01-18 11:12:59 -05:00
services services: openssh: Add escape hatch. 2019-01-17 17:58:35 +01:00
system installer: Move everything to the build side. 2019-01-17 14:04:21 +01:00
tests tests: Rename %test-encrypted-os to %test-encrypted-root-os. 2019-01-17 14:04:21 +01:00
artwork.scm artwork: Clone over HTTPS. 2018-11-05 00:08:47 +01:00
bootloader.scm bootloader: Remove deprecated 'device' field. 2019-01-16 14:07:38 +01:00
ci.scm hydra: Compute jobs in an inferior. 2019-01-06 21:41:07 +01:00
installer.scm installer: Various renamings. 2019-01-17 14:04:26 +01:00
local.mk build: Add coq.scm to the distribution. 2019-01-18 17:51:34 +01:00
packages.scm guix package: '--list-available' can use data from the cache. 2019-01-15 20:24:09 +01:00
services.scm services: 'instantiate-missing-services' reaches fixed point. 2018-09-07 23:00:39 +02:00
system.scm gnu: Add graphical installer support. 2019-01-17 14:04:20 +01:00
tests.scm tests: Warn about test module load failures. 2018-08-29 23:32:01 +02:00