Publishing details

• Published on 2012-01-17
• Copied from debian sid in Primary Archive for Debian GNU/Linux by Mehdi

Changelog

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 <email address hidden>  Mon, 16 Jan 2012 18:19:38 +0100

Builds

• amd64
• armel
• armhf
• i386
• powerpc

Built packages

• libwhy-coq Why library for Coq

• why Software verification tool

• why-examples Examples of programs certified with Why

Package files

• libwhy-coq_2.30+dfsg-3_all.deb (393.7 KiB)
• why-examples_2.30+dfsg-3_all.deb (173.6 KiB)
• why_2.30+dfsg-3.debian.tar.gz (11.0 KiB)
• why_2.30+dfsg-3.dsc (1.9 KiB)
• why_2.30+dfsg-3_amd64.deb (8.1 MiB)
• why_2.30+dfsg-3_armel.deb (11.0 MiB)
• why_2.30+dfsg-3_armhf.deb (11.0 MiB)
• why_2.30+dfsg-3_i386.deb (6.7 MiB)
• why_2.30+dfsg-3_powerpc.deb (7.8 MiB)
• why_2.30+dfsg.orig.tar.gz (3.1 MiB)