Accepted why3 1.1.0-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 05 Nov 2018 19:23:56 +0100
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.1.0-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
Closes: 906001
Changes:
why3 (1.1.0-1) unstable; urgency=medium
.
* New upstream version. Works with cvc4 version 1.6 (closes: #906001)
* Since lablgtk2 does no longer build liblablgtksourceview2-ocaml-dev:
- drop build-dependencies liblablgtk2-ocaml-dev and
liblablgtksourceview2-ocaml-dev
- d/rules: configure with --disable-ide
- note in NEWS that the IDE is dropped.
- drop mention of IDE from why3.1 manpage.
* Dependencies on provers : enforce version >= 2.0.0. for alt-ergo since
upstream has dropped support for older versions. Add an
"skip-not-installable" on the test why3+alt-ergo
* Test why3+cvc4: fix selection of solver cvc4
* d/copyright: update full text of CC license.
* d/rules: remove empty why3shapes.gz files
* Standards-Version 4.2.1 (no change)
Checksums-Sha1:
bc4b811cfa50266a506866a1deaab44c83fc7e5a 2557 why3_1.1.0-1.dsc
8efa3ce01cbad5433d143c1612462d3d81948528 5554169 why3_1.1.0.orig.tar.gz
58b58ae8431ec4d4e6dc75a20acaaff89e4d181a 15968 why3_1.1.0-1.debian.tar.xz
7e772e521890a0a9f5def93345791cbdc3954ef3 12511 why3_1.1.0-1_source.buildinfo
Checksums-Sha256:
8d1f9fd82ceb00bafbc402b14bd0a3f1f3c2fa1fa147faca5d571a295d537c4e 2557 why3_1.1.0-1.dsc
817dde9d68eeef60717a137adfe6b909f82726cac286d68627228f5d118e3fa5 5554169 why3_1.1.0.orig.tar.gz
d1202e17bde890aa23bc169d4f9569475d5fc084d08a286a690153843e331a3f 15968 why3_1.1.0-1.debian.tar.xz
268bea859b26c62ffdbee96e111e7477fd9d98afd8f1b57b3693e210f1f7f194 12511 why3_1.1.0-1_source.buildinfo
Files:
b8ded49f34e6d6c070381c3938a3e16e 2557 math optional why3_1.1.0-1.dsc
650c8d3202d343983d8a0ba3d89bb825 5554169 math optional why3_1.1.0.orig.tar.gz
832b8c2c1362705461a84d39439f742c 15968 math optional why3_1.1.0-1.debian.tar.xz
e3a1a0c2624ec3a05652fc7aa4a42158 12511 math optional why3_1.1.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlvgqQsACgkQdFxHZtTK
zf8exhAAse1VmpzDfrmWid1Lq0MblSKDRmdRoK/IAPQWs34UxKCVqxMoDQ428EOJ
5ni+nnbRLW3Zhf9jutRAZ/Jdg+8h58BHRDwuRwat4XH4NnY+ck2zXaT+6ufcQqCP
Wjxcw8lkr0Xj6OWfP5LP2xHSohuubxuHXdvHLshJRr6l3LPe3CTZKz6W07z3oiav
8E6BpDYZcxWdGwn7KHMO1JUPVkwQCDWNY5GDb2RMnR0EuwwRg3ICvLomWQzdovbk
8GYhIh9kShSIYpe3YF60MsojmnbxFRvJy2fpz9GJZewy5A5r1JpMucMDfSpLk0G2
8Cbg0/JpV1zdDltLBXcrbM/daK29tjWLjRdWQgAR30Mcuy8ptYOZ9FsOSyidxzoB
zvd1QtvlOKOFikGu+XQXnY7YPsC2pPGJkaeCXG8VSeuu4FmivhYE2MyZK7BktQmH
u9TqijeRo952RH7XM/H8755bbh9pKSCkftpVJbLUsWLUXoYD41wq6uKYU62Tuyt7
8NGEkO+xF05xohqyHExYj8nK8ij3Mdu+nL6VupNn0AhRej0aMnrna7Op/Y1E8PnW
Kyqc7bu7CGme9/yumoay1Z/9IuVGjkwDrqycqyk3O6h7qk32zlaTjJVv9m8zKFl8
V4A8oXmWBXUw9+7GcW/7BGFHl28wXDc7ob0P29SIkNxwjGh52wo=
=sZEM
-----END PGP SIGNATURE-----