diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-09-16 17:29:10 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-11-17 23:15:50 +0100 |
| commit | e37ee527a01ceb1ad8b92e6d91f4550016207da9 (patch) | |
| tree | 7a3e44e3609dda294d550c038c869ade106a1115 | |
| parent | 5e12096e90a1836fdfaaada8b42e52b5d7efa3ec (diff) | |
| download | guix-e37ee527a01ceb1ad8b92e6d91f4550016207da9.tar.gz | |
gnu: coq-mathcomp-bigenough: Use native-inputs.
* gnu/packages/coq.scm (coq-mathcomp-bigenough) [propagated-inputs]: Move coq and which from here... [native-inputs]: ... to here. Change-Id: I1a57175b69f6b4a5eba308bf60c9e74437563f58 Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -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 |