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

  • coq-quickchick_2.0.3-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Apr 30 23:20:01 2024
    Thank you for your contribution to Debian.



    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Fri, 26 Apr 2024 16:00:35 +0200
    Source: coq-quickchick
    Architecture: source
    Version: 2.0.3-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-quickchick (2.0.3-2) unstable; urgency=medium
    .
    * Fix target distribution.
    Checksums-Sha1:
    248cae6a620805d06b41d956a5cb88ed1c1185cc 2275 coq-quickchick_2.0.3-2.dsc
    a90c20d0ec48f9894a5fb8086e866ad2aa82b49b 411625 coq-quickchick_2.0.3.orig.tar.gz
    5a82afdae6a7008f86127dccc836cfe4a134d172 2792 coq-quickchick_2.0.3-2.debian.tar.xz
    8594df7fc5cf0343fa71ee43c6af4b59a536f77d 8947 coq-quickchick_2.0.3-2_source.buildinfo
    Checksums-Sha256:
    23aaed0f40306bf6517f9453689441da8a4d19313642020023f9cf131cf3eb0a 2275 coq-quickchick_2.0.3-2.dsc
    e7391043facee2e3c9278e9013d8dd62327052707a0b9d0ea36786e3032888ec 411625 coq-quickchick_2.0.3.orig.tar.gz
    131a5632b5fd87b3327e3d1ebd141448a71782542dbc92e874d79f57baf504c6 2792 coq-quickchick_2.0.3-2.debian.tar.xz
    d8f6e9faf2c76c936314f0a7cec39795af64ee75551fb40be09b3bb708273041 8947 coq-quickchick_2.0.3-2_source.buildinfo
    Files:
    a879f912015576dc88b31320693e5be4 2275 ocaml optional coq-quickchick_2.0.3-2.dsc
    66aadddf04ba9956be7ae8348acc2fa3 411625 ocaml optional coq-quickchick_2.0.3.orig.tar.gz
    36728e6534ecf1ce6f9ce19d57ad74a5 2792 ocaml optional coq-quickchick_2.0.3-2.debian.tar.xz
    2186683dedbff85050668b7673c9b0f9 8947 ocaml optional coq-quickchick_2.0.3-2_source.buildinfo

    -----BEGIN PGP SIGNATURE-----

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYxW4sSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR5tkQAJOtD43r5uoMMV2EdKbMbIm69H7SMuZB IGfPXGLv1pzdNwZs4goLkusOjt/4Cux1xFRmBG2MfnGpWj7CPqkZX1azIf8TmvHZ pGWXymBB/IzS5MGfs8qpbQGsNOpIwGWy5QnRSVYOo89cRuJOrVfhOfsNHVU7lQmH BmtkDrhhqd8n1NVGwLRCzkryAuxY/MKat0FsbZSe66V4mvj0BkyGLJHM+04ba4/s GzvXqpuifHVn3drb5t2eR0+Wf/t9UvZPvxCH64Mm5wFzI/H1lRi1VHXT6m/iEnnV VkOZRz+1HHq84KK3ifcNtNPbLZMU4nDzDNW1qojuAG8vhPBHijz3pBELfZwu+CkS C1kmA78fyPrea4zlD3cz6yYy/Xdgd5ijTSoXxLpjtKQ1kEmHGYvLLDkJHE/K7wlT gJV2olzhXAPzU3obNbDjS7Ei81beEhO3RFFoR9mqhBpO0x+uEzel8lPBqrXt6g07 vvLx+ZKZvVFpObsZz3iRKG5fpkWZriPq2MfcM30F+ratjP61MOS/i85DtpFN+yRv FEswuxWSgE5Pc14cFTg1G/vR9klUaQ+wdoJ9HMmO1HIHg6WoZMTXG5a1/+PzP+DI CAHARLyOHyVbereEe71rUh9lXa7NK+y9oXUzA3oggIBPUPFtCRUMQaYVY9v6bCJi
    bC+Wy7dIJSnf
    =NS/k
    -----END PGP SIGNATURE-----


    --==============102305395528428529=Content-Type: application/pgp-signature

    -----BEGIN PGP SIGNATURE-----

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZjFgZgAKCRCb9qggYcy5 IZ0NAQDHRPCV+kH4vzxxSV27+eak9gdmOSrq4VNcK6y3zGw0sQD/SnjOyUnWN/mf yJfYed/y60Xoa2UJqE0Z1AaGCm87sgUJS
    -----END PGP SIGNATURE-----

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