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:
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:
> > >
>
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
> >
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
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
5 matches
Mail list logo