[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.
-- 
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.irif.fr/~treinen/


More information about the Why3-club mailing list