Bug#1016416: Coq-related packages transition - coq-elpi

2022-08-07 Thread julien . puydt
Le dimanche 07 août 2022 à 21:15 +0200, Sebastian Ramacher a écrit : > On 2022-08-07 11:01:30 +0200, julien.pu...@gmail.com wrote: > > Hi, > > > > Le mardi 02 août 2022 à 21:43 +0200, Sebastian Ramacher a écrit : > > > On 2022-07-31 13:23:38 +0200, julien.pu...@gmail.com wrote: > > > > Package:

Bug#1016416: Coq-related packages transition - coq-elpi

2022-08-07 Thread Sebastian Ramacher
On 2022-08-07 11:01:30 +0200, julien.pu...@gmail.com wrote: > Hi, > > Le mardi 02 août 2022 à 21:43 +0200, Sebastian Ramacher a écrit : > > On 2022-07-31 13:23:38 +0200, julien.pu...@gmail.com wrote: > > > Package: release.debian.org > > > > > > Some Coq-related packages need a rebuild: > > > >

Bug#1016416: Coq-related packages transition - coq-elpi

2022-08-07 Thread julien . puydt
Hi, Le mardi 02 août 2022 à 21:43 +0200, Sebastian Ramacher a écrit : > On 2022-07-31 13:23:38 +0200, julien.pu...@gmail.com wrote: > > Package: release.debian.org > > > > Some Coq-related packages need a rebuild: > > > > coq-hierarchy-builder > > mathcomp-algebra-tactics mathcomp-analysis > >

Bug#1016416: Coq-related packages transition - coq-elpi

2022-08-02 Thread Sebastian Ramacher
On 2022-07-31 13:23:38 +0200, julien.pu...@gmail.com wrote: > Package: release.debian.org > > Some Coq-related packages need a rebuild: > > coq-hierarchy-builder > mathcomp-algebra-tactics mathcomp-analysis > > where packages on the same line can be handled in parallel. > > I can't give a nice

Bug#1016416: Coq-related packages transition - coq-elpi

2022-07-31 Thread julien . puydt
Package: release.debian.org Some Coq-related packages need a rebuild: coq-hierarchy-builder mathcomp-algebra-tactics mathcomp-analysis where packages on the same line can be handled in parallel. I can't give a nice ben script because the abi checksum varies with the architecture (see today's