roptat pushed a commit to branch master
in repository guix.
commit b1baba38c0dd37a44c0be901421431cbdcca21e5
Author: Julien Lepiller <[email protected]>
AuthorDate: Fri Oct 8 03:42:40 2021 +0200
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.
---
gnu/packages/coq.scm | 1 +
1 file changed, 1 insertion(+)
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 4ad172c..dccb9be 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
