Hi
Le mar. 11 janv. 2022 à 08:15, Ralf Treinen <
treinen@fdn.fr> a écrit :
On Mon, Jan 10, 2022 at 08:39:25AM +0100, Julien Puydt wrote:
> Package: ftp.debian.org
> Usertags: rm
> X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org
>
> 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