mbox series

[bug#73298,0/2] gnu: coq-mathcomp-bigenough: Use native-inputs.

Message ID cover.1726500406.git.jean@foundation.xyz
Headers show
Series gnu: coq-mathcomp-bigenough: Use native-inputs. | expand

Message

Jean-Pierre De Jesus Diaz Sept. 16, 2024, 3:28 p.m. UTC 
This simplifies the coq-mathcomp-bigenough package by removing uneeded
make flags and also moves coq and which from propagated-inputs to
native-inputs.

Jean-Pierre De Jesus DIAZ (2):
  gnu: coq-mathcomp-bigenough: Use new style.
  gnu: coq-mathcomp-bigenough: Use native-inputs.

 gnu/packages/coq.scm | 28 ++++++++++++----------------
 1 file changed, 12 insertions(+), 16 deletions(-)


base-commit: ee64bcfb796ef36db4b63f79540627fb25f3320a