Bug#956271: nmu: aac-tactics_8.11.0-1

[Ralf Treinen <treinen@irif.fr>]

Hi,
On Fri, Apr 10, 2020 at 11:32:41AM +0200, Emilio Pozuelo Monfort wrote:
> Control: tags -1 moreinfo
> 
> On 09/04/2020 10:51, Ralf Treinen wrote:
> > Package: release.debian.org
> > Severity: normal
> > User: release.debian.org@packages.debian.org
> > Usertags: binnmu
> > 
> > nmu aac-tactics_8.11.0-1 . ANY . unstable . -m "rebuild against coq 8.11.0-1+b1"
> 
> Package: coq
> Source: coq (8.11.0-1)
> Version: 8.11.0-1+b1
> Provides: coq-8.11.0+4.08.1
> 
> 
> Package: libaac-tactics-coq
> Source: aac-tactics
> Version: 8.11.0-1
> Architecture: all
> Depends: libaac-tactics-ocaml (>= 8.11.0-1), coq-8.11.0+4.08.1
> 
> So I don't see why a rebuild is needed. Maybe it's because of another package,
> so it would help if the request had been clearer, so I don't have to be looking
> around and guessing. Can you clarify why this is needed?
> 
> Besides if it's because of libaac-tactics-coq, since it's arch:all it can't be
> binNMU'ed (the ocaml bindings can, but those don't seem to depend on coq).

It is not for libaac-tactics-coq, I know that it cannot be binNMUed,
and it is not neccesarry. It is for libaac-tactics-ocaml and
libaac-tactics-ocaml-dev which are Architecture=any, and which are
now not installable since coq has been recompiled to version 8.11.0-1.b1.

AFAICS, this will block the migration of lablgtk3 3.1.0, and of the
recompiled coq.

Sorry for not having explained that in my bug report.

-Ralf.