Subject: [PATCH 0/2] gnu: coq-mathcomp-bigenough: Use native-inputs.
From: Jean-Pierre De Jesus DIAZ <[email-masked]>
To: [email-masked]
Cc: Jean-Pierre De Jesus DIAZ <[email-masked]>
Date: Mon, 16 Sep 2024 17:28:12 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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
-- 
2.46.0