[Why3-club] plans about why/krakatoa ?

Ralf Treinen treinen at irif.fr
Mon Feb 25 10:20:21 CET 2019

Hello why[3] team,

I wonder what you plans are about why (not why3). The latest version
available on http://krakatoa.lri.fr/ does not work with why3 >= 1.0.
The question is what to do about the debian package - the current one
is not usable with the why3 in debian. If there are no plans to
update why then we will remove it fromn debian.

Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.

More information about the Why3-club mailing list