On Tue, Sep 01, 2015 at 06:52:20PM +0200, Kurt Roeckx wrote: > 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.
Yes indeed. In fact I had already started on packaging why3, but then it got interrupted by more urgent stuff. Since there now is popular demand ;-) I'll try to finish the package soon. -Ralf.
