why (2.30+dfsg-3) unstable; urgency=high
* Fix 0002-Mark-alt-ergo-0.93-as-compatible.patch
- Adapt version_regexp because "alt-ergo -version" changed.
* Fix 0004-Default-to-why2-for-jessie-atp.patch
- default to "gui" instead of "why2".
* Add 0007-Replace-caduceus-invocation-by-Frama-C.patch
- Caduceus is gone. We use Frama-C instead.
- Adding Frama-C to Why's dependencies.
* Setting urgency to "high" to fix those issues.
why (2.30+dfsg-2) unstable; urgency=low
* Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes).
Date: 2012-01-17 03:30:25.009694+00:00
Signed-By: Daniel Holbach <[email protected]>
https://launchpad.net/ubuntu/precise/+source/why/2.30+dfsg-3
Sorry, changesfile not available.
--
Precise-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/precise-changes
