• mathcomp-bigenough_1.0.1-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Mar 23 23:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 23 Mar 2022 22:45:50 +0100
    Source: mathcomp-bigenough
    Architecture: source
    Version: 1.0.1-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    mathcomp-bigenough (1.0.1-2) unstable; urgency=medium
    .
    * Trigger rebuild to depend on newer coq.
    Checksums-Sha1:
    119fb53bd7e5f6848d36e155ae9250ab5ba88d4f 2107 mathcomp-bigenough_1.0.1-2.dsc
    27fe3e685855300c8b41275084004a211bce06a1 8380 mathcomp-bigenough_1.0.1-2.debian.tar.xz
    c90f1fd3a5cdcf23300f92e0b7111d1d20fa6894 6607 mathcomp-bigenough_1.0.1-2_source.buildinfo
    Checksums-Sha256:
    221a441528eb3b076482514aab0150593ff680f91cd787b812902fd1fea0ce8e 2107 mathcomp-bigenough_1.0.1-2.dsc
    3e8364d0ad55dc1bc6467bdd977a59a58cab09a279507295b6953f8a1c076453 8380 mathcomp-bigenough_1.0.1-2.debian.tar.xz
    9f838e58f28a7c74dc38b7cf614fff19ee675061be400e7423362a923153c038 6607 mathcomp-bigenough_1.0.1-2_source.buildinfo
    Files:
    cba659085f473b0f66b887cb6ca0a9c2 2107 ocaml optional mathcomp-bigenough_1.0.1-2.dsc
    253e67e65bef60995697b7cf90e164ce 8380 ocaml optional mathcomp-bigenough_1.0.1-2.debian.tar.xz
    ddc2055943e509ae37ed82ec847d4cb4 6607 ocaml optional mathcomp-bigenough_1.0.1-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmI7lUESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIc8QAIwn/JMAbEJrg+GxxcbYq3ZYB8X1SJvf dYYLvPQah6jdoA1RunNu9gHdJxutGqrzc3tDkXzGxpHk+/19xvjAX3OxLNR5SM9s 1cliwQDqjnUiLR7fJ0XyxTbcVyzLBe6z5Kwv8M4UL8kD5IT46zYnkBk33m1wzJJY 39x/pam8qdkc/Qnid66js/M5HYppLgnbGwjmOSM5cIe9ZfFnsD8P+Z4W7f2YGnZp +1daASR5C+ZCRxNx9dS1OUsuWZvSAhjgFWtcWcBxqwQ66+M066fH/9FEtOotHCXG /B//9xbj/KegU/hHg1yOL0cdGIzpTM5jtyCN8CoH5aayF3L/t3BIUPI8Yps8DHfg ksTeOvh9tyfO58G6AaG+yM31CwfVfSN53Ceb/8joKQ8uOauMQeHDmY8XENaOMPIn y243BLMCD6zA46s3okkQjqWwVVq+SyXuZDCvfq8S3H+zz/gNKQSMFBDAqV4XgttQ dw5tYkaQHck7cLtPD97DxQFquYrYBxUCb4h8lWrHUHfHvhJP61uv5IQDmUjKW2pf asZouz+mqAaxJntXjNbVOTSc/iTq4Y1k9YYpK4BRRUeoZTrFmBsZMsrTzaV35N4C p+lRowHYoeq5Bp+vyBZY+UkAjBdxixcld0xsbIzdw16tubsyzM/22hFuxAqXzpJj
    fRyTMELbZpvP
    =cJ3q
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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