From b1baba38c0dd37a44c0be901421431cbdcca21e5 Mon Sep 17 00:00:00 2001
From: Julien Lepiller <julien@lepiller.eu>
Date: Fri, 8 Oct 2021 03:42:40 +0200
Subject: 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(+)

(limited to 'gnu/packages/coq.scm')

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
-- 
cgit 1.4.1