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>
1 files changed, 2 insertions(+), 1 deletions(-) M gnu/packages/coq.scm
M gnu/packages/coq.scm => gnu/packages/coq.scm +2 -1
@@ 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