Control: tags -1 moreinfo On 09/04/2020 10:51, Ralf Treinen wrote: > Package: release.debian.org > Severity: normal > User: [email protected] > 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
