Hi Le mar. 11 janv. 2022 à 08:15, Ralf Treinen <[email protected]> a écrit :
> On Mon, Jan 10, 2022 at 08:39:25AM +0100, Julien Puydt wrote: > > Package: ftp.debian.org > > Usertags: rm > > X-Debbugs-Cc: [email protected] > > > > Since coq upstream abandoned some architecture, coq isn't available > > anymore on those architectures, and lingering binary packages prevent > > testing migration. > > No, please do not remove the why3 source package. It build-depends on > coq only on those architectures where it should be available, and > generates the why3-coq binary package (which is the only binary > package that depends on coq) only on these architectures. > > @julien: please do not ask for removal of source packages that are > maintained by others without investigating the situation. > > -Ralf. > I was not asking for the source removal but for the binary removal, see the list of architectures in the subject. Lingering binaries blocked the testing migration of the coq package. I see this morning coq finally made it to testing, so I guess why3 didn't have any. Things should be cleared now. Cheers, J. Piydt >
