diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-17 15:07:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-18 17:51:34 +0100 |
| commit | 7bf1dc75706d558cea41e24ce90f2eb0c026996d (patch) | |
| tree | e1d273d727a224a7d3d1a165373775effcf967fb /gnu | |
| parent | cf22e99f0252a4712ab94d630dc4914c9a89f18d (diff) | |
| download | patches-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.mk | 1 |
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 \ |