summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-01-17 15:07:07 +0100
committerLudovic Courtès <ludo@gnu.org>2019-01-18 17:51:34 +0100
commit7bf1dc75706d558cea41e24ce90f2eb0c026996d (patch)
treee1d273d727a224a7d3d1a165373775effcf967fb /gnu
parentcf22e99f0252a4712ab94d630dc4914c9a89f18d (diff)
downloadpatches-7bf1dc75706d558cea41e24ce90f2eb0c026996d.tar
patches-7bf1dc75706d558cea41e24ce90f2eb0c026996d.tar.gz
build: Add coq.scm to the distribution.
This is a followup to 33af92dd99c9f2c726c32f81936931c69d719eb9. * gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/packages/coq.scm.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/local.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk
index 99ebdaad4a..9706a39ef6 100644
--- a/gnu/local.mk
+++ b/gnu/local.mk
@@ -112,6 +112,7 @@ GNU_SYSTEM_MODULES = \
%D%/packages/conky.scm \
%D%/packages/connman.scm \
%D%/packages/cook.scm \
+ %D%/packages/coq.scm \
%D%/packages/cpio.scm \
%D%/packages/cpp.scm \
%D%/packages/cppi.scm \