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

[Daniel Holbach]

This bug was fixed in the package why - 2.30+dfsg-3
Sponsored for Mehdi (mehdid)

---------------
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

** Changed in: why (Ubuntu)
       Status: New => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Sponsors Team, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/917535

Title:
  Sync why 2.30+dfsg-3 (universe) from Debian unstable (main)

Status in “why” package in Ubuntu:
  Fix Released

Bug description:
  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

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/why/+bug/917535/+subscriptions