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