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

[Launchpad Bug Tracker]

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

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

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

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