[Bug 913068] Re: Sync why 2.30+dfsg-1 (universe) from Debian testing (main)

[Mehdi]

I've also requested a sync for Coq (bug 913071). Coq has to be synced
before Why.

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

Title:
  Sync why 2.30+dfsg-1 (universe) from Debian testing (main)

Status in “why” package in Ubuntu:
  New

Bug description:
  Please sync why 2.30+dfsg-1 (universe) from Debian testing (main)
  Please note that this version of why requies newer frama-c (for
  which I've already requested a sync (see bug 913066)).

  Changelog entries since current precise version 2.29+dfsg-4build1:

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

    * New upstream release.
    * Update patches:
      - Rebase and update existing patches
      - add 0004-Default-to-why2-for-jessie-atp.patch
      - add 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
    * Add (back) Build-Depends on coq-float.
    * Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~.
    * Bump Standards-Version to 3.9.2, no changes needed.
    * Fix description-synopsis-starts-with-article in why's description.
    * Fix copyright-refers-to-deprecated-bsd-license-file
    * Fix spelling-error-in-binary
    * Mark Coq 8.3pl3 as compatible with current Why

   -- Mehdi Dogguy <mehdi at debian.org>  Mon, 02 Jan 2012 15:39:47 +0100

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