diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-10-08 03:42:40 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-10-08 04:33:52 +0200 |
| commit | b1baba38c0dd37a44c0be901421431cbdcca21e5 (patch) | |
| tree | 806e0014d5a3e380214750ff7122685a5dc4d3f3 /gnu/packages | |
| parent | a0804f44456ee49e4c50130df0daf32aaf8f5281 (diff) | |
gnu: coq: Add upstream-name.
This prevents an error on inherited packages when running the updater.
* gnu/packages/coq.scm (coq)[properties]: Add upstream-name.
Diffstat (limited to 'gnu/packages')
| -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 |