guix-commits
[Top][All Lists]
Advanced

[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                                \



reply via email to

[Prev in Thread] Current Thread [Next in Thread]