diff options
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 \ |