Re: Bug#1117585: coq: suggests why which is not in unstable

[Julien Puydt <julien.puydt@gmail.com>]

Hi,

Le mercredi 08 octobre 2025 à 08:05 +0200, Carles Pina i Estany a
écrit :
> 
> Subject: coq: suggests why which is not in unstable
> Package: coq
> Version: 8.20.1+dfsg-1+b1
> Usertags: package-relations package-relations-suggests
> Severity: wishlist
> 
> Dear maintainer,
> 
> I see that the package coq (version 8.20.1+dfsg-1+b1) suggests why
> which
> is not in unstable.
> 
> This can be seen in https://packages.debian.org/unstable/coq ;. Search
> for "Package not available".
> 
> The missing package used to be in Debian but they were removed some
> time
> ago:
> 
> - https://tracker.debian.org/pkg/why
> 
> Should it be dropped or changed?
> 
> Thank you,


I'll change it to why3, thanks.

The next upload isn't for tomorrow, though, as there are many things
moving in the Coq/Rocq world now.

Cheers,

J.Puydt