Accepted why3 0.88.3-3 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 27 May 2018 13:37:54 +0200
Source: why3
Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf
Architecture: source
Version: 0.88.3-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
Closes: 895104 899084
Changes:
why3 (0.88.3-3) unstable; urgency=medium
.
* d/control: update Vcs-* fields to salsa
* Add build-dependendency texlive-plain-generic to fix FTBFS with
texlive 2018.20180505-1 (closes: #899084)
* test why3+cvc4: skip when cvc4 is not available (closes: #895104)
Checksums-Sha1:
056d25258f2ee8382cb99589afdc14409100d475 2620 why3_0.88.3-3.dsc
28cbda79cbbeeadfc34f27282250dcf46dbeba6c 13192 why3_0.88.3-3.debian.tar.xz
14af76ffb323b15c0e2b2b8fe425c3eb9ecd34af 12335 why3_0.88.3-3_source.buildinfo
Checksums-Sha256:
d8c26aea1d460c9dcd99dea2bdbc2643bd8f83b26bcfd8e39c374768e939ff19 2620 why3_0.88.3-3.dsc
45c4192092b235f5f9ccef80136b031ee362d1aa23bfc5d1997fe566dca03318 13192 why3_0.88.3-3.debian.tar.xz
ad0079e8285903eaa3966a45dc0bc5c430579ed961ee512f60ed81ce717f9593 12335 why3_0.88.3-3_source.buildinfo
Files:
d9fee7588cdc888853f2a60d1da83f1b 2620 math optional why3_0.88.3-3.dsc
a7e32d57c010e2fcee58893ea3445c05 13192 math optional why3_0.88.3-3.debian.tar.xz
9b00fcd75105912355227804d022f77e 12335 math optional why3_0.88.3-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlsKnZIACgkQdFxHZtTK
zf9GUg//YHDbUMRGmHHADRPzM3ElZLGUrWC0Ta+BzH0HpHEqB7wN8YC+4wxe6r6Y
1nzbK2ArtXZ0YUPNCpl0Ubzjyw0ULOcnRqp5889OYGib+c4Gh6jkaXsl+owkKauj
YUORroW4e5GEc9HuJn5QNsqbeuf5TLFJYANQuZ9k2zPSG/ISjnIT1wqb+yIxg9j/
Nj9cX4l5YZtEbbGaQJ4IHXKMJmYhetZxTxhXICGvkUMtJuoY0fnV5JE2A+NFmAAv
IYQOgIHD881/jUe/E9GzTY2Qj4DbP/9an0ZV0FITq80ZtFfucUWCUdcmygCDIsM5
XD/Svseklw1P0gVxCTxZ+k+wAohJPD/lOwnW0dQK+9yFXMeufXh6MKhkYfvI2RtH
j8gfbYw5MrjN1WqBtoXRQwcE1kVhvE+jdB1o7JeU8z3I2ZsdttvA+o+GOR8DY2KU
OpRx7qms+HvylZJdstiLPYRzR8qRb+IxRTq5PUJ74t0TN2jknfyaWjIkseiL0/0W
DokqbfuOYYSfE5Ybp+L4fU2qqOfyZNuFXiCkym5ATQxQWlu/G5l5RJI5L4HSdhl7
tCcQapx+81f+RE9O4+TaKhodwJoKznz6gSjolauNF/0aR8G0+M44fyoyWQT6OG6V
wjxB06rZk+iWfpYdQutSDFiW4pZTRAChjx/2Ev6QknRWIoGrVkg=
=qOu/
-----END PGP SIGNATURE-----