[ubuntu/precise] why 2.30+dfsg-1 (Accepted)

[Mehdi]

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

Date: 2012-01-04 03:28:54.821002+00:00
Signed-By: Andreas Moog <andreas-launchpad at warperbbs.de>
https://launchpad.net/ubuntu/precise/+source/why/2.30+dfsg-1
-------------- next part --------------
Sorry, changesfile not available.