Back to why3 PTS page

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