Back to why PTS page

Accepted why 2.33-1 (source amd64 all)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 04 Feb 2014 12:33:02 +0100
Source: why
Binary: why why-examples libwhy-coq
Architecture: source amd64 all
Version: 2.33-1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
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: 
 f4c5d685bf0fa930afcca5e423236246eaf84ce3 2339 why_2.33-1.dsc
 0758678457c41950b083ca3445e296dccabb4482 3642034 why_2.33.orig.tar.gz
 848a7f402d63a7d95912f5e21937366135a9299a 13264 why_2.33-1.debian.tar.xz
 608715d1b92c2d673a7a12524bd176f6ebaaf53c 5037064 why_2.33-1_amd64.deb
 7ea5db81f7cc3687b9052faf304c8c12cd5fd4cf 142742 why-examples_2.33-1_all.deb
 ff17b9475c5cb8d48250817465ea3edd700ecf4a 244356 libwhy-coq_2.33-1_all.deb
Checksums-Sha256: 
 72066d0cd97709daba79945d49bc1ddf802b57da5ef813d52ca8de08935fe54c 2339 why_2.33-1.dsc
 d00b327de28946c5fc573444b7aaf6989f9f347c81256acff102a144f0b30189 3642034 why_2.33.orig.tar.gz
 138531c8feee8f16db230aeeadaa0488d646c82d12053addece98a3d498fa02f 13264 why_2.33-1.debian.tar.xz
 00259189920a2a22f646ee9448772b9760ca7b6f43d7f8a542ad255dac5570df 5037064 why_2.33-1_amd64.deb
 4d5c42320fa200e8e4b224afa293b74ef311cae45d6f3816288bc38354572371 142742 why-examples_2.33-1_all.deb
 a941c4598c8b651acbd9ccff58012b04c24cf964d062e844c55508725a85e39a 244356 libwhy-coq_2.33-1_all.deb
Files: 
 96c4bcdc0d95168251f28cd59f82fae4 2339 math optional why_2.33-1.dsc
 a9e04b11bf770581c59230809223e7ab 3642034 math optional why_2.33.orig.tar.gz
 5297e9a370c571595b7976be3d367e05 13264 math optional why_2.33-1.debian.tar.xz
 9e61a3d6486e29401e21e00b25851526 5037064 math optional why_2.33-1_amd64.deb
 60af57564d06e8fd28fb80d65258b844 142742 doc optional why-examples_2.33-1_all.deb
 6d89ada756dd30b780b527d414f20073 244356 libdevel optional libwhy-coq_2.33-1_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iQIcBAEBCAAGBQJS/S7mAAoJEHRcR2bUys3/m2UP/iR7SL3yaaqMstqRfIb+yCSo
qKKvqgYgXFKB/6zp5uUS1lOrBl4B4oIBqASsW6dTrTDmR9vbhPciK1O68MZtQckB
stOwWv/6WvCFkJYB7YrvbGvJnV2RVk5qgN1/dkbm0rSridQQ0oo0AdKY/xVeQ+MI
krmWqjJfAthaUeUkzvB/xyw8DdLLs2OzS/3eE+f2Qweoj02Q42wW+iw+RIX6RlXT
6P+kEmc8qmtHw/9p5IvalshS3mlsAlFdSvhQxs1s2AT2wOPeCE58g73pMLQUG8wn
qGmOZP9BKLqSfrLHflxWmiGmZm6t7dIrChamxQUld4C5ft80iSbK4WyaC9X9f8mL
YpBhBgPdLH3FbnlMuGlcHS7rzH62eCpf8z3mIam1389T8R64kWvs4r3Xgs2u6YDq
PFnaYfJ2w1M6vzv3xFQVxmzqunCIX8gHzbq7tiNWp05zrlI57VzzjmgtiC6Xioti
waekbaZVJ7UsLPPPPm+8GleV9SVrliFpw5m/TBfGwKj61BCtPdoh99TMQQWna0g0
ea0hd2FcYrSQEPTkFJJKQxhYlUnAPmw1WATM/BuYPkBOQcWTYEkirfjWfuIqPQXq
jGFuz25w/yqoeAbn9waYSDVxMcR4v01cfg4KcT1nbfLVBWiPsQffbOSaOJln3+Pc
TUc3YyD88eKJ+Uo4sgfH
=cZym
-----END PGP SIGNATURE-----