-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 12 Aug 2018 23:29:44 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 1.0.0-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 (1.0.0-2) unstable; urgency=medium
.
* as-installed test why3+cvc4:
- dropped erroneous version constraint on cvc4.
- invoke prover simply as CVC4
- marked test as skip-not-installable, instead of flaky, as cvc4 does not
build on all architectures (architecture restriction set in src:cvc4),
and since cvc4 is only an alternative dependency of why3.
* as-installed test why3+cvc3:
- marked test as skip-not-installable, instead of flaky, since cvc3
recently has FTBFS, and since cvc3 is only an alternative dependency
of why3.
* as-installed-test why3+spass:
- marked test as skip-not-installable since spass recently has FTBFS
issues and was dropped from testing, and since spass is only an
alternative dependency of why3.
Checksums-Sha1:
384a1fdd97ddfb80d43fa737c34d129b132aaf8b 2613 why3_1.0.0-2.dsc
cb57e7c65d6ce3be17a534785181bed8137508d7 13260 why3_1.0.0-2.debian.tar.xz
1eb9d7dd6bb36bc734f032083c17d53abfa2f585 12519 why3_1.0.0-2_source.buildinfo
Checksums-Sha256:
28f2161ea6b6d81d7ce9930ea80335e7385fda7d384396b700105dde57bb4995 2613 why3_1.0.0-2.dsc
5302671fe2afdeff5b779deb9303f4a0e1b979ca2957adc285495186f50b091e 13260 why3_1.0.0-2.debian.tar.xz
3d08fd0d5ad7e72675c45aeb6a4da14ea058068a2636e39365fbcaabaa1d203f 12519 why3_1.0.0-2_source.buildinfo
Files:
c0179b45f81f69737ffd61ca110989ed 2613 math optional why3_1.0.0-2.dsc
e857d6deda3a8b83b58b5119d4e5167f 13260 math optional why3_1.0.0-2.debian.tar.xz
3953c98b5eaf9d338b7917ec0d77b1bf 12519 math optional why3_1.0.0-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAltwttoACgkQdFxHZtTK
zf9hPA/9HZ+dwT/kzJEqWliOjCgDcswAHznRTpdlY2Vyfn2lp8Ih2cjB8LAWe7l4
IlJYn1oE4IzqlcFRJAQJWyO+1fY38zfOW8vvpAY/d9sBYxsyet8vgE3Co1mXq6e9
ffg8b1XDsBxI23RZZu98MR+0IF2MWWJAiOV0HDYc19QOabfYbaurH8069Wa2Ts1G
rqEL8SzNpS5orheXeySPjrG15rCzrpSVsaMpKZzIrt9QpQwshDAxGEs6K2QrmW2p
l+oMaId1Ar6NCx64nmxrI5WHdOaWMrOKWuiNvqwoCJhDSAxexqBfMuPICOHfDBAU
NRFJFZlRP83XrjFORiKZz8S/AD2JZVWRfxAsgzRtxHrDsC59XtPj9vdcdPpVUDVR
KNmcdLyobzgq/yJljpaU2rkZl4geR4CjKdFZ2RHhGx3mDJJ0qKMjJTWU0Gbb3Xzp
ePLg4l8LEUqinyW/y4ZILrVG3Vf4AcE2ZD54w9bxFRONkyYUjf7R2Wh2G75loQrX
3dnd14b8h1RAQZ9/8+i0vyzffeIMt5De9w0Mc/OfPwGhEPctGIzemUsnyrXkJgVB
8tUjPhWUxIPMDtVBn6m40eei8CJWU2IlL1wqKtylyr/h+nKlKR3PfEg6Wp9qPUxt
OEJFtsoK5Q0diI8H8O4nHWOHU8ScBo2ELf3LksN4KrzRiLebCRk=
=5eSy
-----END PGP SIGNATURE-----
