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

[Emilio Pozuelo Monfort <pochu@debian.org>]

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).

Cheers,
Emilio