From e37ee527a01ceb1ad8b92e6d91f4550016207da9 Mon Sep 17 00:00:00 2001 From: Jean-Pierre De Jesus DIAZ Date: Mon, 16 Sep 2024 17:29:10 +0200 Subject: [PATCH] gnu: coq-mathcomp-bigenough: Use native-inputs. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * 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 --- gnu/packages/coq.scm | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 166657fdd1f..ea0868f2268 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