Bug#797696: RFP: why3

[Kurt Roeckx]

Package: wnpp
Severity: wishlist

Hi,

The why package has been replaced by a why3 version upstream.  You
can find it at http://why3.lri.fr

It would be nice that we'd also have why3.


Kurt