Accepted why3 1.4.0-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 23 Nov 2021 14:26:23 +0100
Source: why3
Architecture: source
Version: 1.4.0-1
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-1) unstable; urgency=medium
.
* Team upload
* New upstream release
- Backport Coq 8.14 support from upstream git
* Bump Standards-Version to 4.6.0
* Update debian/watch
Checksums-Sha1:
1a62880900b68fdd69a0c17ac9210782ce2d99f6 2614 why3_1.4.0-1.dsc
60b19818c00ce9082d5b4eb9ffad7dc93deeb8ea 6306524 why3_1.4.0.orig.tar.gz
bc108b9e4d345ca00fbb0a1d87057a3dfb07f69b 39652 why3_1.4.0-1.debian.tar.xz
Checksums-Sha256:
1c352e3a9fcdf41ebb8ca0161f4f484ee554bd54cb91f7b25bdf36957842da1e 2614 why3_1.4.0-1.dsc
68e7c1ae54b6f3cdb48e633ea64d68da01a45f5f7545ccf74eff1f32fa658053 6306524 why3_1.4.0.orig.tar.gz
4b5964f61bd00a004e58c10800162d147cdef24d7d6d5596ff5fa3609aab66cf 39652 why3_1.4.0-1.debian.tar.xz
Files:
5da60fb4a234b8d5048d1f757543316d 2614 math optional why3_1.4.0-1.dsc
9755cedf1edfcacff652149783e18647 6306524 math optional why3_1.4.0.orig.tar.gz
e861020a5dcc6784fe66004e1a7e1eb0 39652 math optional why3_1.4.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQEzBAEBCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmGc8C4ACgkQIbju8bGJ
MIEbVQgApqvmAjufLNgFebAUTm705KBamSQDQ8oxL3i2HCm78K/230SUMhqHutd7
oQ8qyI7VJm5G2BoFqnuwRv5GWRNUvsz8xP5/qj0ydfW1C6ooOnA2vJRfOyMXT4gA
GJfOpMiOnIduse2WJ95MhjV4VaIjQm9+Hvi/abcbQBxVRXzEbD/xUqZ5GX2Z6fLl
aR8fyf5zKJU1pmEznZJTU8oV/evPDM65MKrYEuX/bn5QCxu5uL98i/l84ghP04BG
stSH6hpFnc0V6pfGON6FJNHg9eyf811iB7XX4c2+oOKsg4VorvNtpq/pRBfAaT0K
vF3RrXTiPS2C15T+2eadxPpyaVydig==
=X6Xx
-----END PGP SIGNATURE-----