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