-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 08 Jun 2016 20:42:36 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
libwhy3-ocaml-dev - ocaml librariries for why3 (dev)
why3 - Software verification platform
why3-coq - Coq support for the why3 verification platform
why3-doc-html - HTML Documentation of the why3 verification platform
why3-doc-pdf - PDF Documentation of the why3 verification platform
why3-examples - Examples for the why3 verification platform
Changes:
why3 (0.87.1-1) unstable; urgency=medium
.
* new upstream version
-dropped patch makefile-for-bytecode, since integrated by upstream
* added z3 prover:
- alternative dependency z3
- add package test with z3
* new patch drop-timestamp: do not include the build-timestamp in the
produced binaries.
Checksums-Sha1:
2f3dadb5849499adbcbdb8c141960496a790c187 2536 why3_0.87.1-1.dsc
2e53da58269f5d85b6d96e56317769a3f411dbbe 4480316 why3_0.87.1.orig.tar.gz
ff11b4d499e26fb9115c41bb9e1d4cb631234386 11876 why3_0.87.1-1.debian.tar.xz
Checksums-Sha256:
04806134e95a7425a049d1a95b5778a74d772c0a77f116a11fc209996dd9441a 2536 why3_0.87.1-1.dsc
8bf3f8e6a511187d4a06ca632af5d00a0b7347cd10fd5edbe5fb4e679c9851eb 4480316 why3_0.87.1.orig.tar.gz
ca8c38b1b7475864720234b7287e5e9d8ef2775884c2ca9cc97fca2fe658f13a 11876 why3_0.87.1-1.debian.tar.xz
Files:
1376191d2208321974d674781d8db591 2536 math optional why3_0.87.1-1.dsc
f1780c8579e6fec9a7ece3ecd05a01e2 4480316 math optional why3_0.87.1.orig.tar.gz
9958c3bcba586a58d0bdd4c65782cb55 11876 math optional why3_0.87.1-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXWG2KAAoJEHRcR2bUys3/iowQAIR6gtYnupDU4L83LgONctco
CyjSR/pAxVljNN5CzWWbGp/BRztLRPskrGMjKqtDcKVnJsExWSoXM6myl2grDkzG
5pQ79izbaPqESf6FadWroKiytnzJll/9UR5MF/UTUDb/S/JmGE/0qi+A498qVTOM
zelnrxmhLMwgSu1P61pvs4qMt4yWbBHIqfT3yhznBknFR9+CeM+nyVyRUAtJiJQi
ChVPi5a+ZZL7ZARtzuBQSdxuphfrfucobnnZKQVgCEGD/1adt67OCvsidJSxq4fv
ptOkLECjRAKOtIM2qOzOzmh3fdMkZLp/qxMOk+/2BauYVfEnVigXkgl+AKmu0D33
VSu3K4TFrEgViGlBGEJxzTftrcDrt2SOo6HZLNY0AkFSpXZnE8sAnDNTUVJRCV+e
DffeNshuRfWBdwJOlu1f21wFYScxeCVA/sy6UT4URGuWZsVQZtEuizF21PLd1PqR
U4qtfYvJw7YtNu/wtyoRbMGf0y7gHjRWeN8Wi89taFfzmu6JhCU31ueG5IZ26hKi
u8Iis+Qc1IxI/Ra1UAZ93ZAwD8Q8E3bmBvC9WOuBsJb0efpK1kR1KAhmR6hYTwRG
JKwX7EQT6uTfWUz0+zFFPkTQRbHImiM5F6r6d2lfNK2+E/8FQZIxCIYsZwDnBR3S
kotdkiaxPEnC2uNEmlTI
=ewOw
-----END PGP SIGNATURE-----
