me/guix
Archived
1
0
Fork 0
Code Activity

gnu: coq: Add upstream-name.

Browse source 
This prevents an error on inherited packages when running the updater.

* gnu/packages/coq.scm (coq)[properties]: Add upstream-name.
This commit is contained in:
Julien Lepiller 2021-10-08 03:42:40 +02:00
parent a0804f4445
commit b1baba38c0
No known key found for this signature in database
GPG key ID: 53D457B2D636EE82
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
gnu/packages/coq.scm
View file

@ -79,6 +79,7 @@
(arguments (arguments
`(#:package "coq" `(#:package "coq"
#:test-target "test-suite")) #:test-target "test-suite"))
(properties '((upstream-name . "coq"))) ; for inherited packages
(home-page "https://coq.inria.fr") (home-page "https://coq.inria.fr")
(synopsis "Proof assistant for higher-order logic") (synopsis "Proof assistant for higher-order logic")
(description (description