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

  • coq-quickchick_1.6.3-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Aug 14 14:40:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 13 Aug 2022 23:47:35 +0200
    Source: coq-quickchick
    Architecture: source
    Version: 1.6.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 (1.6.3-2) unstable; urgency=medium
    .
    * Rebuild against more recent coq-simple-io.
    Checksums-Sha1:
    e08287a94d52e72e1e2e5843e7368f807e10b814 2256 coq-quickchick_1.6.3-2.dsc
    405a376936a2a566bbfd375e2ddbbbca82c20807 2616 coq-quickchick_1.6.3-2.debian.tar.xz
    4e0a27f563bcb51f074d0be60fe8faf531737528 7250 coq-quickchick_1.6.3-2_source.buildinfo
    Checksums-Sha256:
    280e96e1f34d7baf7033cba06e5f1f13e950ee7c521a8f3fdb0da5f927e53a77 2256 coq-quickchick_1.6.3-2.dsc
    c7cef8ac51c1784636c363a839e17ea033547e5a3e4ec0b240fb3722af51d22a 2616 coq-quickchick_1.6.3-2.debian.tar.xz
    352aa3dd9f6c75fa8e59fb302d186611a84baeebf065bb1a46286f2de15670ce 7250 coq-quickchick_1.6.3-2_source.buildinfo
    Files:
    65e955bfe4b54ee2177fb5e7dc796585 2256 ocaml optional coq-quickchick_1.6.3-2.dsc
    402319ccf2e43fa54ee7a80486f454ea 2616 ocaml optional coq-quickchick_1.6.3-2.debian.tar.xz
    8f08c35c4e58211e96f18a104b4d2bf1 7250 ocaml optional coq-quickchick_1.6.3-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmL4HBYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVREdwP/2JTkrScQKJacL7VO/jt/7ndlaoNVc/J qFjJ7myjlUjaS42FgF2ujtfFwMoDeK7oVMRuRe8bFDmEoE2ZELZ156DEwgyi+VIQ rQ7GeR1VTb3EMJ5vSCi+3eyxCLXYfLNg7PwS91nZStR6CJal8XohV7IvG/TFooex HzF3Hmmn13SyACdNOPcedY9XDhUZxVkwbJHSZKxAh3y73eGRZGQ1IoPSuRmQlMjy 4rW6Q+5zg9z3quVyNn713P4oQ8SrfdO7yGNaiS2OkQCrjUKOumwKcLV/mq8DCKD5 koBzyXzZ6c7ROcXpAxmaxRCIpvlzy/au7Ztw4GQ4Er250Hy0/UGcSiKZzZAF4D/v x08QIL573BsCHsJKI/23V7Hso5UVRx32sfUT/i4RCte88ms7PlZHAXC9S81b8vJ7 C2EF4rTa+YIWXtkp6yI07Cn5n1G3Es67u/vAjFDM0w+4GOmeTuiZU5oFle67DRr1 /JC5um3AZNltjp0cdnIWCojuzTOw3Gt1vpXuouni/P8HyZaEomFlbc/z9Q2jC5OG NY4Ey3rGw+B73ENFAJtYImW6DLMmriANF3E8ianwawZ7rCeXtdWxlK3q23F5KFPa 83JzmWIO1HjL/HHh+LF189JqCz+72R7kdUwxm8D/ZkSaB6qJ2NSitCmxPwIvYtsQ
    Cl8iF0JtScJb
    =0jPo
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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