[Bug 917535] [NEW] Sync why 2.30+dfsg-3 (universe) from Debian unstable (main)

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Mehdi (mehdid):

Please sync why 2.30+dfsg-3 (universe) from Debian unstable (main)

This upload contains only important fixes that ought to be fixed in
Precise LTS.

Changelog entries since current precise version 2.30+dfsg-1:

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.

 -- Mehdi Dogguy <mehdi at debian.org>  Mon, 16 Jan 2012 18:19:38 +0100

why (2.30+dfsg-2) unstable; urgency=low

  * Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes).

 -- Mehdi Dogguy <mehdi at debian.org>  Thu, 12 Jan 2012 17:50:39 +0100

** Affects: why (Ubuntu)
     Importance: Undecided
         Status: New

-- 
Sync why 2.30+dfsg-3 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/917535
You received this bug notification because you are a member of Ubuntu Sponsors Team, which is subscribed to the bug report.