Package "why"
WARNING: the "why" package was deleted from this repository
Name: |
why
|
Description: |
Software verification tool
|
Latest version: |
*DELETED* |
Release: |
trusty (14.04) |
Level: |
proposed |
Repository: |
universe |
Homepage: |
http://why.lri.fr/ |
Links
Download "why"
Other versions of "why" in Trusty
No other version of this package is available
in the Trusty release.
Packages in group
Deleted packages are displayed in grey.
Changelog
No changelog for deleted or moved packages.
|
why (2.33-2) unstable; urgency=low
* fixed typo in debian/tests/control (dependency of frama-c+jessie+alt-ergo)
-- Ralf Treinen <email address hidden> Mon, 17 Feb 2014 08:40:19 +0100
|
Source diff to previous version |
why (2.33-1) unstable; urgency=low
* New upstream release. This fixes an issue with compilation under
ocaml-4.01 (closes: #707585).
* Bump build-dependency on frama-c-base to the latest version
(closes: #730526)
* Drop patches adopted or otherwise fixed by upstream:
- 0001-Why-2.29-do-support-Coq-8.3.patch
- 0002-Mark-alt-ergo-0.93-as-compatible.patch
- 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
- 0004-Default-to-why2-for-jessie-atp.patch
- 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
- 0006-Fix-spelling-error-in-binary.patch
- 0007-Replace-caduceus-invocation-by-Frama-C.patch
* New patch deprecated-or to replace "or" by "||", needed for more strict
checks in ocaml 4
* New patch hashtbl to fix compilation with ocaml 4.01, taken from fedora.
* New patch atp-versions: update accepted versions of external provers:
alt-ergo, coq
* New patch frama-c-versions: update accepted version of frama-c
* Add myself to uploaders.
* Standards-Version 3.9.5 (no change)
* Add DEP8-style package tests
- why with alt-ergo
- why with cvc3
- why with coq (thanks to Pierre Letouzey for his help!)
- frama-c, jessie plugin (from the why package), and alt-ergo
* Add to the Recommendation of package alt-ergo alternatives on other
theorem provers: cvc3, coq
-- Ralf Treinen <email address hidden> Tue, 04 Feb 2014 12:33:02 +0100
|
707585 |
why: FTBFS in unstable - Debian Bug report logs |
730526 |
why: uninstallable on sid - Debian Bug report logs |
|
About
-
Send Feedback to @ubuntu_updates