1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • why3_1.4.0-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Nov 23 16:00:02 2021
    Accepted:

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


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)