summaryrefslogtreecommitdiff
path: root/gnu/packages/coq.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/coq.scm')
-rw-r--r--gnu/packages/coq.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 4ad172c6b0..dccb9bea4c 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -79,6 +79,7 @@
(arguments
`(#:package "coq"
#:test-target "test-suite"))
+ (properties '((upstream-name . "coq"))) ; for inherited packages
(home-page "https://coq.inria.fr")
(synopsis "Proof assistant for higher-order logic")
(description