UbuntuUpdates.org

Package "why"

Name: why

Description:

Software verification tool
Latest version: 2.30+dfsg-3
Release: precise (12.04)
Level: base
Repository: universe
Homepage: http://why.lri.fr/

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "why"

32-bit deb package
64-bit deb package
APT INSTALL

Other versions of "why" in Precise

No other version of this package is available in the Precise release.

Packages in group

Deleted packages are displayed in grey.


Changelog

Version: *DELETED* 2012-03-06 11:23:11 UTC
No changelog for deleted or moved packages.

Version: 2.30+dfsg-3 2012-01-17 19:03:23 UTC

why (2.30+dfsg-3) unstable; urgency=high

  * Fix 0002-Mark-alt-ergo-0.93-as-compatible.patch
    - Adapt version_regexp because "alt-ergo -version" changed.
  * Fix 0004-Default-to-why2-for-jessie-atp.patch
    - default to "gui" instead of "why2".
  * Add 0007-Replace-caduceus-invocation-by-Frama-C.patch
    - Caduceus is gone. We use Frama-C instead.
    - Adding Frama-C to Why's dependencies.
  * Setting urgency to "high" to fix those issues.

 -- Mehdi Dogguy Mon, 16 Jan 2012 18:19:38 +0100
Source diff to previous version

Version: 2.30+dfsg-1 2012-01-07 22:03:06 UTC

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 Mon, 02 Jan 2012 15:39:47 +0100
Source diff to previous version

Version: 2.29+dfsg-4build1 2011-12-18 16:59:26 UTC

why (2.29+dfsg-4build1) precise; urgency=low

  * Rebuild for OCaml 3.12.1.

 -- Colin Watson Sat, 19 Nov 2011 18:41:44 +0000

Version: *DELETED* 2011-12-18 14:42:26 UTC
No changelog for deleted or moved packages.


About   -   Send Feedback to @ubuntu_updates