Public bug reported:
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 <[email protected]> Mon, 02 Jan 2012 15:39:47 +0100
** Affects: why (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/913068
Title:
Sync why 2.30+dfsg-1 (universe) from Debian testing (main)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/why/+bug/913068/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
