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 interr
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
2 matches
Mail list logo
