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

2020-04-10 Thread Ralf Treinen
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

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

2020-04-10 Thread Emilio Pozuelo Monfort
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

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

2020-04-09 Thread Ralf Treinen
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" -- System Information: Debian Release: bullseye/sid APT prefers unstable APT policy: (500, 'unstable'),