ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-24 21:38:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

build: Add coq.scm to the distribution.

Browse source 
This is a followup to 33af92dd99.

* gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/packages/coq.scm.
This commit is contained in:
Ludovic Courtès 2019-01-17 15:07:07 +01:00
parent cf22e99f02
commit 7bf1dc7570
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
gnu/local.mk
View file

@ -112,6 +112,7 @@ GNU_SYSTEM_MODULES = \
%D%/packages/conky.scm \ %D%/packages/conky.scm \
%D%/packages/connman.scm \ %D%/packages/connman.scm \
%D%/packages/cook.scm \ %D%/packages/cook.scm \
%D%/packages/coq.scm \
%D%/packages/cpio.scm \ %D%/packages/cpio.scm \
%D%/packages/cpp.scm \ %D%/packages/cpp.scm \
%D%/packages/cppi.scm \ %D%/packages/cppi.scm \