diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2021-10-12 16:50:47 +0000 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2021-10-12 17:46:23 +0000 |
| commit | a1eca979fb8da842e73c42f4f53be29b169810f2 (patch) | |
| tree | 681c7283e412bb8a29c2531c4408b49c3e184764 /gnu/packages/coq.scm | |
| parent | 48d86a9ec6d8d2e97da2299ea41a03ef4cdaab83 (diff) | |
| parent | 371aa5777a3805a3886f3feea5f1960fe3fe4219 (diff) | |
Merge remote-tracking branch 'origin/master' into core-updates-frozen.
Diffstat (limited to 'gnu/packages/coq.scm')
| -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 4ad172c6b0e..dccb9bea4cc 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 |