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
