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 aac-tactics_8

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 (

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

2020-04-10 Thread Debian Bug Tracking System
Processing control commands: > tags -1 moreinfo Bug #956271 [release.debian.org] nmu: aac-tactics_8.11.0-1 Added tag(s) moreinfo. -- 956271: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956271 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

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'), (