This bug was fixed in the package why - 2.30+dfsg-1
Sponsored for Mehdi (mehdid)
---
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
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
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/913068
Title:
Sync why 2.30+dfsg-1 (universe) from Debian testing (mai
