diff options
| -rw-r--r-- | gnu/packages/coq.scm | 1 |
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 |