[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/03: build: Add coq.scm to the distribution.
From: |
guix-commits |
Subject: |
01/03: build: Add coq.scm to the distribution. |
Date: |
Fri, 18 Jan 2019 11:51:42 -0500 (EST) |
civodul pushed a commit to branch master
in repository guix.
commit 7bf1dc75706d558cea41e24ce90f2eb0c026996d
Author: Ludovic Courtès <address@hidden>
Date: Thu Jan 17 15:07:07 2019 +0100
build: Add coq.scm to the distribution.
This is a followup to 33af92dd99c9f2c726c32f81936931c69d719eb9.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/packages/coq.scm.
---
gnu/local.mk | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/local.mk b/gnu/local.mk
index 99ebdaa..9706a39 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 \