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
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
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'),
3 matches
Mail list logo