me/guix
Archived
1
0
Fork 0
Code Activity

gnu: coq-bignums: Fix comment spacing.

Browse source 
* gnu/packages/coq.scm (coq-bignums)[arguments]: Fix comment spacing after
  disabling test phase.
This commit is contained in:
Brett Gilio 2020-01-07 13:01:53 -06:00
parent 8ace204543
commit 14af514bf0
No known key found for this signature in database
GPG key ID: 672243C4A03F0EEE
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
gnu/packages/coq.scm
View file

@ -437,7 +437,7 @@ theorems between the two libraries.")
(inputs (inputs
`(("camlp5" ,camlp5))) `(("camlp5" ,camlp5)))
(arguments (arguments
`(#:tests? #f; No test target `(#:tests? #f ; No test target.
#:make-flags #:make-flags
(list (string-append "COQLIBINSTALL=" (assoc-ref %outputs "out") (list (string-append "COQLIBINSTALL=" (assoc-ref %outputs "out")
"/lib/coq/user-contrib")) "/lib/coq/user-contrib"))