-
why (2.34-2ubuntu1) utopic; urgency=medium
* debian/tests/c/minimum.c: Workaround test brokenness by avoiding the
ternary operator.
-- Iain Lane <email address hidden> Fri, 15 Aug 2014 10:47:51 +0100
-
why (2.34-2) unstable; urgency=medium
* Team upload
* Recompile with coq 8.4pl4
* Update Vcs-*
-- Stéphane Glondu <email address hidden> Mon, 04 Aug 2014 09:34:24 +0200
-
why (2.34-1) unstable; urgency=low
* New upstream release.
* Drop deprecated patches:
- deprecated-or
- hashtbl
- frama-c-versions
* Bump build-dependency on frama-c to version 20140301+neon+dfsg.
* Fix debian/tests/frama-c+jessie+alt-ergo:
- run why-config when there is no ${HOME}/.whyrc
- drop the specification of cpp-4.7 as this is no longer needed, and
the dependency of that test on cpp-4.7
-- Ralf Treinen <email address hidden> Tue, 29 Apr 2014 20:56:03 +0200
-
why (2.33-2) unstable; urgency=low
* fixed typo in debian/tests/control (dependency of frama-c+jessie+alt-ergo)
-- Ralf Treinen <email address hidden> Mon, 17 Feb 2014 08:40:19 +0100