UbuntuUpdates.org

Package "why-examples"

Name: why-examples

Description:

Examples of programs certified with Why
Latest version: 2.30+dfsg-3
Release: precise (12.04)
Level: base
Repository: universe
Head package: why
Homepage: http://why.lri.fr/

Links

All versions of this package
Bug fixes

List of files in package
Repository home page

Download "why-examples"

All arch deb package
APT INSTALL

Other versions of "why-examples" in Precise

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

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