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.
Attachment:
signature.asc
Description: PGP signature