GNU bug report logs - #73298
[PATCH 0/2] gnu: coq-mathcomp-bigenough: Use native-inputs.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#73298: closed ([PATCH 0/2] gnu: coq-mathcomp-bigenough: Use
 native-inputs.)
Date: Sun, 17 Nov 2024 22:03:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Sun, 17 Nov 2024 23:02:38 +0100
with message-id <8734jpikn5.fsf <at> gnu.org>
and subject line Re: [bug#73298] [PATCH 0/2] gnu: coq-mathcomp-bigenough: Use native-inputs.
has caused the debbugs.gnu.org bug report #73298,
regarding [PATCH 0/2] gnu: coq-mathcomp-bigenough: Use native-inputs.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
73298: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=73298
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Jean-Pierre De Jesus DIAZ <jean <at> foundation.xyz>
To: guix-patches <at> gnu.org
Cc: Jean-Pierre De Jesus DIAZ <jean <at> foundation.xyz>
Subject: [PATCH 0/2] gnu: coq-mathcomp-bigenough: Use native-inputs.
Date: Mon, 16 Sep 2024 17:28:12 +0200

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

[Message part 3 (message/rfc822, inline)]

From: Ludovic Courtès <ludo <at> gnu.org>
To: Jean-Pierre De Jesus DIAZ <jean <at> foundation.xyz>
Cc: pukkamustard <pukkamustard <at> posteo.net>,
 Julien Lepiller <julien <at> lepiller.eu>, 73298-done <at> debbugs.gnu.org
Subject: Re: [bug#73298] [PATCH 0/2] gnu: coq-mathcomp-bigenough: Use
 native-inputs.
Date: Sun, 17 Nov 2024 23:02:38 +0100

Hi,

Jean-Pierre De Jesus DIAZ <jean <at> foundation.xyz> skribis:

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

I went ahead and applied both, even though I’m not on the Coq/OCaml
team.

I think you should consider joining that team (Julien, pukkamustard,
perhaps you could use some help?) and probably applying for commit
rights as well.

Thanks,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.