Re: Coq packages in Debian : difficult transitions

2022-08-07 Thread julien . puydt
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

Re: Coq packages in Debian : difficult transitions

2022-08-03 Thread julien . puydt
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: > > > >

Re: Coq packages in Debian : difficult transitions

2022-08-03 Thread julien . puydt
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

Re: Coq packages in Debian : difficult transitions

2022-08-02 Thread Holger Levsen
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

Re: Coq packages in Debian : difficult transitions

2022-08-01 Thread Joachim Breitner
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

Re: Coq packages in Debian : difficult transitions

2022-07-31 Thread julien . puydt
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

Re: Coq packages in Debian : difficult transitions

2022-07-31 Thread Sebastian Ramacher
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

Coq packages in Debian : difficult transitions

2022-07-31 Thread julien . puydt
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