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: Jean-Pierre De Jesus DIAZ <jean <at> foundation.xyz>
Subject: bug#73298: closed (Re: [bug#73298] [PATCH 0/2] gnu:
 coq-mathcomp-bigenough: Use native-inputs.)
Date: Sun, 17 Nov 2024 22:03:03 +0000

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

Your bug report

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

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 73298 <at> debbugs.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: 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’.

[Message part 3 (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

Previous Next

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