Format: 1.8
Date: Tue, 04 Feb 2014 12:33:02 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: powerpc
Version: 2.33-1
Distribution: trusty-proposed
Urgency: low
Maintainer: Ubuntu/powerpc Build Daemon <buildd@ross.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description: 
 libwhy-coq - Why library for Coq
 why        - Software verification tool
 why-examples - Examples of programs certified with Why
Closes: 707585 730526
Changes: 
 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
Checksums-Sha1: 
 f88508641a827be549bcbaa38c410671531eecfa 4414676 why_2.33-1_powerpc.deb
Checksums-Sha256: 
 4cca55a9289cc50e4d4590612fb7bb30e46bebd0b439e7ed1583441c468aca57 4414676 why_2.33-1_powerpc.deb
Files: 
 8fcaec2aef987239ae26e79a506e94ee 4414676 math optional why_2.33-1_powerpc.deb