diff -Nru why-2.33/debian/changelog why-2.33/debian/changelog --- why-2.33/debian/changelog 2014-02-13 19:56:51.000000000 +0000 +++ why-2.33/debian/changelog 2014-02-17 07:41:43.000000000 +0000 @@ -1,3 +1,9 @@ +why (2.33-2) unstable; urgency=low + + * fixed typo in debian/tests/control (dependency of frama-c+jessie+alt-ergo) + + -- Ralf Treinen Mon, 17 Feb 2014 08:40:19 +0100 + why (2.33-1) unstable; urgency=low * New upstream release. This fixes an issue with compilation under diff -Nru why-2.33/debian/tests/control why-2.33/debian/tests/control --- why-2.33/debian/tests/control 2014-02-13 19:56:51.000000000 +0000 +++ why-2.33/debian/tests/control 2014-02-17 07:41:43.000000000 +0000 @@ -11,5 +11,5 @@ Restrictions: allow-stderr Tests: frama-c+jessie+alt-ergo -Depends: @, frama-c-base, cpp-4.7. alt-ergo +Depends: @, frama-c-base, cpp-4.7, alt-ergo Restrictions: allow-stderr