-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 10 Sep 2020 23:09:31 +0200
Source: why3
Architecture: source
Version: 1.3.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Changes:
why3 (1.3.2-1) unstable; urgency=medium
.
* New upstream release.
* Add patch coq8.12: support coq versions 8.11.* and 8.12.*
(thanks to Guillaume Melquiond)
* Test why3+coq: send warning to stderr
* Replace embedded sphinx javascript libraries by symlinks,
and add dependency on libjs-sphinxdoc to package why3-doc-html.
* debian/control: update architecture of the why3-coq package, and
architecture strings in build-dependencies on coq stuff.
Checksums-Sha1:
eecfb086500cbc684d13e670d2c2657c1aac49a2 2839 why3_1.3.2-1.dsc
328b236c374de78cef044f9e177694b8eb4c540d 5806750 why3_1.3.2.orig.tar.gz
6d18d747a6b734769f29a17b610c0ead20cbb6ee 19848 why3_1.3.2-1.debian.tar.xz
4f6740ccfc51eca61916960c6027259a293d23dc 14778 why3_1.3.2-1_source.buildinfo
Checksums-Sha256:
d649f2a40c7bea919da28076f068519d2296569d7c855ce11c923fe19e3fae29 2839 why3_1.3.2-1.dsc
8753ee9b75c69def9acdaecb4e99fb458715fee1e89c7a7e5be7af777b14a525 5806750 why3_1.3.2.orig.tar.gz
fcd09523c2e9587126bcd3502ab96470237e31494f9f7743f3421bd414917da1 19848 why3_1.3.2-1.debian.tar.xz
ba6f40b253e9e87aa78cd350e0cbd9982d1701bee6472c374797e30a5edc548e 14778 why3_1.3.2-1_source.buildinfo
Files:
d15364a443186f9cbd16e300a1cb1bd0 2839 math optional why3_1.3.2-1.dsc
932ff254d9cff097cba33c1ef2f51f4a 5806750 math optional why3_1.3.2.orig.tar.gz
578326923bfa4dc8702eec3de3709e68 19848 math optional why3_1.3.2-1.debian.tar.xz
090bf9ac1d5ebad82df85b30e6d1cb0f 14778 math optional why3_1.3.2-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9a9WEACgkQdFxHZtTK
zf8tYg//aVGdqaoPBQvychXq9utWpSqpDcwcx+o+DBMTkdKcuw9qaNHcna5fv2yh
oX2ctHrkrTqREqq7OWQYhPbXPHjfPf702NkVvNRGAYK5YkJsQT+zm5Nk60NeA1rF
PyGA6fhsG9ms+P9WTG2LxIjDgfLYXLmLeSuwEE3t4t025g+wgXy5lC1LSOBAFWQQ
BVWH6R2Sf7jR1u4RfHneqijpGNfH5Av5HMKubRAGTzEYxZ1v9vDr8yTypDUYGPwm
W0NDScZJRQUY8GnpATsjevNK3glIppF+o0psul2rgsm0WML7BEGRbesxsiqNr0Xr
7ZX3TNP9+Jgjnudgk7phjpJn08Z4yDwv/oLQ+KZSwe3mGM7owVFzje+H9Ko9wJGq
ralBYAtYwhVk8B1ZnCCziFAE+PiwcD1eoUquRaZBks5d8kTrZtqdc89sfLc5YxDM
urzpV6ke28GwdxwUkeD94FGP/F8iVRgN7PF7tw/7aXg8nhAKKx29cHvsejQjXeGB
2OoiwUqDOCdk4QfxdPfoer/KkcsqNRlXmi2FzLJWDFtBnYh9lCGdAcf8PW7t58xf
M0ksvgqhIeSJpOw70GzRFRmwnMyObeJ3NACmdle3GA2/VavuMe981NiKbyDadpW6
D6EKYM7kzTwC4KCqPhd2x4YPyW+UihNnA7xBuHGP7GMa4qcWd8A=
=eCAC
-----END PGP SIGNATURE-----
