-----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-----
