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

[Carles Pina i Estany <carles@pina.cat>]

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,

-- 
Carles Pina i Estany
https://carles.pina.cat | carles@pina.cat | cpina@debian.org

Attachment: signature.asc
Description: PGP signature