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

Previous Next

Full log

Message #16 received at 73298-done <at> debbugs.gnu.org (full text, mbox):

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.