-----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-ma...@lists.debian.org> Changed-By: Ralf Treinen <trei...@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-----
