Accepted why3 0.87.3-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sat, 21 Jan 2017 21:02:08 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.87.3-2
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.3-2) unstable; urgency=medium
.
* upload to unstable
* as-installed test why3+z3: do not fail when z3 segfaults.
Checksums-Sha1:
06841e1b60a2229fc6c6b1d8086a21c7ebf14a71 2613 why3_0.87.3-2.dsc
868944fec94810742407c3a8190d3d17743b7683 12404 why3_0.87.3-2.debian.tar.xz
Checksums-Sha256:
7f9e340c3a0b20e6ad7d30953255ce710901a45501e00597d93af4b0148c96d6 2613 why3_0.87.3-2.dsc
d40cc2684ba42980fa8f1240c5527a2a43939a03c47bf32298cebf3187b1d58f 12404 why3_0.87.3-2.debian.tar.xz
Files:
afa444d89fdfbbc77b92b656ce69ef5c 2613 math optional why3_0.87.3-2.dsc
b102abf8c4c1e5c2b0dd3faebd296e40 12404 math optional why3_0.87.3-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAliDv68ACgkQdFxHZtTK
zf/pPhAAnhFB9sEI8rck7g2h9Lo2ZjTbYIbnP0U8vu/j60PvoHas6NpQ/tpofzZo
seJOERnBJAUPYC0e1nOtQibFhROpss7q5n0GG09qZZSJzdADVWNoxCLnt5lwKU/v
yawOF5hhjRx7YtK5S158FexcxJdQwR3G57yCbADULgoanAfdlm6oH9DA5P/Rapax
AOEEjCgJid2BtEiKOoJ4nNAGXTXw1DAk/96+yq6QiEQsfrTmq8zQ1skaMJpiHi/s
EzeMfkSA+CJ6nEcknW0y9Mg/1BXdktowoESgtC6yTjPbPG1n1PGH1DvaiKKaV7lp
2GA1WO1KEIVhzFGQsg1lqJrpAbvqe5DgQqjLFuCUfEGlKC5UI90Vil/WNRqEb77+
Gt4lg5EnyZT5RrgIMcACEz2dkHz16Ak2VaeWUo06gNjf3KH7GNPJzNWBwDyhhy4U
47dkS9LWPIqidk5uf6KxS0Ig672L55ICJpbKJCyscnrla2cdmTULuG/be9M3EMzj
5bWHuRSw8eDbSsxKxeRRFEZYJOoZvRWonMVkUqJc45z4f5qnVI2cDAn/CfsRh2UQ
8IkAzv5E9ckuSoXx5WbhFQTs/GbpT844RRKVR6MRx2ksM5Zuu11yt9+ozN9thzVQ
yxJ/2H2ns5zCzgQE5dsqFa2tIhE9mIYlpCiT9ibtohGBnRSQtTo=
=dW3A
-----END PGP SIGNATURE-----