Your message dated Tue, 11 Jan 2022 08:15:35 +0100
with message-id <[email protected]>
and subject line Re: Bug#1003438: RM: why3 [alpha armel hppa ia64 m68k
mipsel64el mipsel sh4 sparc64 x32] -- broken by missing coq
has caused the Debian Bug report #1003438,
regarding RM: why3 [alpha armel hppa ia64 m68k mipsel64el mipsel sh4 sparc64
x32] -- broken by missing coq
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1003438: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1003438
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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.
Apparently the coq binary packages can't be removed until reverse
dependencies have been too.
Cheers,
J.Puydt
--- End Message ---
--- Begin Message ---
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.
signature.asc
Description: PGP signature
--- End Message ---
