01/09: gnu: coq: Add upstream-name.

[guix-commits]

roptat pushed a commit to branch master
in repository guix.

commit b1baba38c0dd37a44c0be901421431cbdcca21e5
Author: Julien Lepiller <julien@lepiller.eu>
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