why 2.33-1 source package in Ubuntu

Changelog

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

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any all
Section:
math
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
why_2.33-1.dsc 2.3 KiB 72066d0cd97709daba79945d49bc1ddf802b57da5ef813d52ca8de08935fe54c
why_2.33.orig.tar.gz 3.5 MiB d00b327de28946c5fc573444b7aaf6989f9f347c81256acff102a144f0b30189
why_2.33-1.debian.tar.xz 13.0 KiB 138531c8feee8f16db230aeeadaa0488d646c82d12053addece98a3d498fa02f

No changes file available.

Binary packages built by this source

libwhy-coq: No summary available for libwhy-coq in ubuntu trusty.

No description available for libwhy-coq in ubuntu trusty.

why: No summary available for why in ubuntu trusty.

No description available for why in ubuntu trusty.

why-examples: No summary available for why-examples in ubuntu trusty.

No description available for why-examples in ubuntu trusty.