Accepted why3 0.87.0-3 (source amd64 all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 14 Apr 2016 19:00:49 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source amd64 all
Version: 0.87.0-3
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.0-3) unstable; urgency=medium
.
* debian/tests/*: run "why3 config --detect-provers" to make tests
work in a clean environment.
Checksums-Sha1:
eb6712e26ca7ed22b5b60f3247e90aeacc6bb02c 2536 why3_0.87.0-3.dsc
2c8f1e913bf2626f0c0f746810a25752a36f563a 12280 why3_0.87.0-3.debian.tar.xz
40e303ce0d1bd192f7fdb9c8b774ebc7f242231b 4656580 libwhy3-ocaml-dev_0.87.0-3_amd64.deb
66d5cb7b3dbd16e8be7748dba6902fbb9f4e075b 304652 why3-coq-dbgsym_0.87.0-3_amd64.deb
14b03057cb9038c679d8f6b7719a09030959b4c2 5151222 why3-coq_0.87.0-3_amd64.deb
df221b5ac48355e3265ab2be9d53813615c064f8 3834214 why3-dbgsym_0.87.0-3_amd64.deb
2e6a24a42e41bccfcead66fd9a08999bd39091b0 725264 why3-doc-html_0.87.0-3_all.deb
e1b2a6c4c3ae7ebb6a956cf5fe52817005060c5b 1215058 why3-doc-pdf_0.87.0-3_all.deb
9bd33e188b950dfd76fb8ad1f0b602debea2be98 1750132 why3-examples_0.87.0-3_all.deb
f0ba3cffa09242b747febe65eaaa367f0638c81a 8294820 why3_0.87.0-3_amd64.deb
Checksums-Sha256:
5c92fc187a2f8fa39a037f89c917b6ee34fe277e37b65e2490c2a0eacb23e0e7 2536 why3_0.87.0-3.dsc
925c26286f398364eb3e728667abaa87ca596540991619b921e0c05e711858ef 12280 why3_0.87.0-3.debian.tar.xz
6126810faeead0e695ff0304c0e7e2b106b8dc606a851ea5c93dadb7f699c70f 4656580 libwhy3-ocaml-dev_0.87.0-3_amd64.deb
698c85971d6a4229a288113dcf3ae2714f2c47a3fb42b19d89c6d3828980e3a0 304652 why3-coq-dbgsym_0.87.0-3_amd64.deb
d568140c8da2f6d9bfe9302ae7ccff0364865ffdedd8e0acf100f031b4edf74b 5151222 why3-coq_0.87.0-3_amd64.deb
c7d3539a8f71ddb448fa52ddd8d4f614a3716e386df5d0ecee837cc8e3ab4531 3834214 why3-dbgsym_0.87.0-3_amd64.deb
0c0c7461d8584d626c7b336fcf5aeeb1822c89055ebc06abeb06d1b38c9a48f9 725264 why3-doc-html_0.87.0-3_all.deb
9755e6d2c5032266e63b5f77a52c5400085fcbe3c953876e5f08ee6a498b5ec6 1215058 why3-doc-pdf_0.87.0-3_all.deb
22f95a848209a7fb5002a68467a1c77dfd798ebbf6503b7b8e83be3c204ed6a6 1750132 why3-examples_0.87.0-3_all.deb
a255c9cec120d6c7eb11b8d35b1906c383fad2981a6bd7ab4a349a4c57747ac6 8294820 why3_0.87.0-3_amd64.deb
Files:
965ac5e382ea465e170d1b0deb066a12 2536 math optional why3_0.87.0-3.dsc
795ad4cdc07482add97db306652d2d64 12280 math optional why3_0.87.0-3.debian.tar.xz
986955aa75b509d5ae4da311c617c547 4656580 ocaml optional libwhy3-ocaml-dev_0.87.0-3_amd64.deb
60ce59ca537330de636bb45bf773dadc 304652 debug extra why3-coq-dbgsym_0.87.0-3_amd64.deb
4158f336e2dcbb35740e34adf4f68190 5151222 math optional why3-coq_0.87.0-3_amd64.deb
b43203ded9cb3919ad5e0ab549ab1429 3834214 debug extra why3-dbgsym_0.87.0-3_amd64.deb
e8a70d4a93ff475e8839ab6dce746a18 725264 math optional why3-doc-html_0.87.0-3_all.deb
9b1b09eef70e34d80b11e87c9011b03c 1215058 math optional why3-doc-pdf_0.87.0-3_all.deb
83e21f4fbd974c2bb5b5ac637af9c3ac 1750132 math optional why3-examples_0.87.0-3_all.deb
17b0506dd47d274b382f1f002ff5c214 8294820 math optional why3_0.87.0-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iQIcBAEBCAAGBQJXD9QMAAoJEHRcR2bUys3/uHoQAJ1taIm+iiT9aljEMgMVF2uT
8tGYCECZwq9XDqsK2QI4tqyxyEXvSs4fd7BfvDBtH4xDQWjWEObXAdDD8vd2QW5Z
PYjom5005leXHkPG7zM/EAs6cX2glbsbJLHR+B8FL01O6Zp/u2I02pGWJhJ3gLMX
i/Tr3WqZhHWTFYmaL9ou2OA19skLdKFq9kF9mz4gpjMEzaVBekOl3KNTOG913Njb
gsaKFmSDGgLXOr+WpSDdJYdU1tGwQydNu70EpuJwZoQpLzu+JWTJtxuS5fGLT+vF
lazGB6a4gCHlLg+I9+Ceoq9WP+PK7+8QIvG4KcLBxGXzb2KpTVEjaCgCGqpnOw5V
Uw4AAAntgpKSzqqqdTwB/96cLRGDfRR/RjfjdgrctbYArmR1T7l9P5w6XiHLuwYG
L/Q/Qu4UZ45MD0T1dec4aCBaqvWvFAH07U/452a6Ek8W3xKaXwImHzmpp62llHMG
uVKVrfQ4hqu6qDvjN1zFInzYcZvjqYFwfJOLwSa4ILjM6Pn66AXy1h5BSIh7Ts3u
taAw3CLtfn2zKGLu1G1AXnR5WKX6pqo3kZvXzKlcsgjXTrkJ4eR35K6AMdDPXysu
JvRg4ZeqUugwFwvx9jiV1QvHynkIP3boivzqT/4Wqf8/g+70pLDroQ9o2FhzJnhY
tKr/w5WuLhofMPERZY6e
=IJnh
-----END PGP SIGNATURE-----