On Tue, 7 Apr 2020 at 16:22, Ralf Treinen wrote:
> Thanks, but it will fail on all the other release architectures. Building
> coq on slow architectures takes > 5h, so that seemed like a waste of
> resources to me.
binNMUs don't get scheduled on architectures that are Build-Attempted
or Failed, s
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu coq_8.11.0-1 . amd64 arm64 ppc64el . unstable . -m "rebuild against
lablgtk3 3.1.0-2"
lablgtk3 3.1.0-2 has entered unstable today, please rebuild coq.
-- System Information:
Debian Rel
2 matches
Mail list logo
