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 /gnu/packages/aux-files | |
| parent | 5e12096e90a1836fdfaaada8b42e52b5d7efa3ec (diff) | |
| download | guix-e37ee527a01ceb1ad8b92e6d91f4550016207da9.tar.gz guix-e37ee527a01ceb1ad8b92e6d91f4550016207da9.zip | |
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>
Diffstat (limited to 'gnu/packages/aux-files')
0 files changed, 0 insertions, 0 deletions