diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-09-16 17:29:10 +0200 |
|---|---|---|
| committer | Guix Patches Tester <> | 2024-09-18 12:19:01 +0200 |
| commit | 42f45f647053ba99db4d6317d5e8f07892ca5345 (patch) | |
| tree | d9aed38d23ba7b579a7609118f451edb775fb457 | |
| parent | 016d1350caa9a02ac9ba783e1767c75b76fed977 (diff) | |
| download | guix-patches-issue-73298.tar guix-patches-issue-73298.tar.gz | |
gnu: coq-mathcomp-bigenough: Use native-inputs.issue-73298
* gnu/packages/coq.scm (coq-mathcomp-bigenough) [propagated-inputs]:
Move coq and which from here...
[native-inputs]: ... to here.
Change-Id: I1a57175b69f6b4a5eba308bf60c9e74437563f58
| -rw-r--r-- | gnu/packages/coq.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 166657fdd1..ea0868f226 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -763,7 +763,8 @@ subsume notations for finite sets.") #:phases #~(modify-phases %standard-phases (delete 'configure)))) - (propagated-inputs (list coq coq-mathcomp which)) + (native-inputs (list coq which)) + (propagated-inputs (list coq-mathcomp)) (home-page "https://math-comp.github.io/") (synopsis "Small library to do epsilon - N reasoning") (description |