Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues

Hi, Le dimanche 21 janvier 2024 à 21:38 +0100, Paul Gevers a écrit : > Hi, > > On 21-01-2024 21:06, julien.pu...@gmail.com wrote: > > Would kicking the mathcomp-analysis package out of testing allow > > the > > migration of the rest of the Coq-related packages and at least give > > a > >

Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues

Hi, On 21-01-2024 21:06, julien.pu...@gmail.com wrote: Would kicking the mathcomp-analysis package out of testing allow the migration of the rest of the Coq-related packages and at least give a coherent set there? It seems src:mathcomp-analysis is a leaf package that can easily be removed

Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues

Hi, Le dimanche 21 janvier 2024 à 08:42 +0100, Paul Gevers a écrit : > Source: coq > Version: 8.17.0+dfsg-1 > Severity: serious > Control: close -1 8.18.0+dfsg-1 > Tags: sid trixie > User: release.debian@packages.debian.org > Usertags: out-of-sync > > Dear maintainer(s), > > The Release

Bug#1061232: src:coq: fails to migrate to testing for too long: triggers autopkgtest issues

Source: coq Version: 8.17.0+dfsg-1 Severity: serious Control: close -1 8.18.0+dfsg-1 Tags: sid trixie User: release.debian@packages.debian.org Usertags: out-of-sync Dear maintainer(s), The Release Team considers packages that are out-of-sync between testing and unstable for more than 30