Accepted why3 1.4.0-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 24 Nov 2021 08:49:42 +0100
Source: why3
Architecture: source
Version: 1.4.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
why3 (1.4.0-2) unstable; urgency=medium
.
* Team upload
* Fix autopkgtests
Checksums-Sha1:
1b67c382b0ac6453f3c6efdb8ea2c7531552a60b 2614 why3_1.4.0-2.dsc
e26a3e9ac615173de3b673b4923967d94a96bf08 39676 why3_1.4.0-2.debian.tar.xz
Checksums-Sha256:
4a619149825bbff044b756d2374c2376b4622c53034c32f05f5bd673430e27f9 2614 why3_1.4.0-2.dsc
6e6ab959f60f92f6f04cfaf59f71ba10e3c3fb47e800dc448b61f6e190aea593 39676 why3_1.4.0-2.debian.tar.xz
Files:
945d7c70f71d579e21119c1e392d7e62 2614 math optional why3_1.4.0-2.dsc
cd59209c92cab20b7cbb9e2d7e4d1b17 39676 math optional why3_1.4.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmGd70MACgkQIbju8bGJ
MIGWQggAoUiaP3WAWKO3RUF6iTeB18/ncdPbOTYGXiDlLPPPRMQehq+drLY3zw5z
K42/JU53lr1yCkKdlQs6qHVjUIF4sFA/5ZfC9NB/l79AQzfNbfpYcf3G3BBSUZu3
hfGszPXvbS9z7deriOuGI8zIjOV0JNl+Iwr728AIPOEIwlPXl+KyfX0DpPQC5K4K
CoaH5FFsLlakkVXQYzRJK5pXn+en4cEE1MPWyZfy0xsqaQnWS3luTTGVxGJ5NCZ1
jfxzb7Mu/L5uWOyATIg5CfqPwm5X3kbyn4P99RQCo2hjuR1tNcKx4A7sMfN5gS3Y
8PnRRvZ/Sl+y+cXJoUHoVbQvsMuaFw==
=/4ij
-----END PGP SIGNATURE-----