Hi,
Le lundi 01 août 2022 à 14:20 +0200, Joachim Breitner a écrit :
>
> it looks like you re-created the setup that the Haskell and Ocaml
> packages use, with the provides/depends and hashes.
>
Yes, dh-ocaml was a great help. I learned Perl to write dh-coq...
> We have a tool that produces a
Hi,
Le lundi 01 août 2022 à 14:20 +0200, Joachim Breitner a écrit :
>
> Am Sonntag, dem 31.07.2022 um 12:33 +0200 schrieb
> julien.pu...@gmail.com:
> > I have a little script that tells me the following packages needs
> > to be
> > rebuilt when a transition has to be done ; for example:
> >
> >
Le dimanche 31 juillet 2022 à 12:43 +0200, Sebastian Ramacher a écrit :
> On 2022-07-31 12:33:35 +0200, julien.pu...@gmail.com wrote:
> > Hi,
> >
> > I tried to ask on debian-release because it seemed more sensible
> > but didn't get feedback. [1]
>
> Please file a transition bug. The mailing
On Sun, Jul 31, 2022 at 01:00:03PM +0200, julien.pu...@gmail.com wrote:
> > Please file a transition bug. The mailing list has a high volume and
> > non-bug mails may be overlooked.
> Well, I would file a bug for a specific transition, but first I would
> like to discuss how to handle transitions
Hi,
Am Sonntag, dem 31.07.2022 um 12:33 +0200 schrieb
julien.pu...@gmail.com:
> I have a little script that tells me the following packages needs to be
> rebuilt when a transition has to be done ; for example:
>
> $ ./planif_transition.py mathcomp-finmap
> mathcomp-finmap
> mathcomp-analysis
Le dimanche 31 juillet 2022 à 12:43 +0200, Sebastian Ramacher a écrit :
> On 2022-07-31 12:33:35 +0200, julien.pu...@gmail.com wrote:
> > Hi,
> >
> > I tried to ask on debian-release because it seemed more sensible
> > but
> > didn't get feedback. [1]
>
> Please file a transition bug. The
On 2022-07-31 12:33:35 +0200, julien.pu...@gmail.com wrote:
> Hi,
>
> I tried to ask on debian-release because it seemed more sensible but
> didn't get feedback. [1]
Please file a transition bug. The mailing list has a high volume and
non-bug mails may be overlooked.
Cheers
>
> The
Hi,
I tried to ask on debian-release because it seemed more sensible but
didn't get feedback. [1]
The Coq-related packages have a habit of breaking their ABI with almost
each upload, and until recently that meant broken user configurations:
installed packages stopped working because of an
8 matches
Mail list logo