[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#797696: RFP: why3



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.


Reply to: