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

    From Debian FTP Masters@21:1/5 to All on Sun Jun 12 21:00:02 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 12 Jun 2022 14:11:19 +0200
    Source: mathcomp-bigenough
    Architecture: source
    Version: 1.0.1-7
    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-7) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    c1d4c04dcf3385cbea295cf3705ad46c282804b4 2115 mathcomp-bigenough_1.0.1-7.dsc
    7e3f9900ae9d27bfe9b88baec4adaf022725625e 8516 mathcomp-bigenough_1.0.1-7.debian.tar.xz
    79bd2e46d10d1e38a415dd49c2cbb6dfee01efeb 6647 mathcomp-bigenough_1.0.1-7_source.buildinfo
    Checksums-Sha256:
    04d73207966ee45225e2b962bb88cc071409c004093566d0cf8028843eec1539 2115 mathcomp-bigenough_1.0.1-7.dsc
    bdbebbb3024125432c3456626e4e922cda6b194f2d4793d2d40f1a67f5cf274c 8516 mathcomp-bigenough_1.0.1-7.debian.tar.xz
    ce63c4a03cc2c7da9633d1fe880c0f7df79f72b14df881ccca237b7d427d7cd8 6647 mathcomp-bigenough_1.0.1-7_source.buildinfo
    Files:
    f30793240630cedf91e4fd4365deffb9 2115 ocaml optional mathcomp-bigenough_1.0.1-7.dsc
    302ebd1ab4563e450a184ec6418105dc 8516 ocaml optional mathcomp-bigenough_1.0.1-7.debian.tar.xz
    c0e0085395ed4ecacaebb091b3700541 6647 ocaml optional mathcomp-bigenough_1.0.1-7_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLP0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRpJoP/0jQ1lClnVwQS4aCArX95zktGcDDmWbC 9Jzj6B7bBhVwOy514wHJsJxtSDNxZz6LAUchD9ury9pGIIkdUUAl2ER59oqZn5D3 yPqwx8589GdXhKGnzIbb1xUzfjwUNXZx1oT7NDQe/I7/QdMDHWaYFhqxYyosX5Wx BxkfkSEsUsJ/Zq6CoL9FrlzdknvGXUeTQMRq52ff/iLu1JP9v1QboQoDbJ7mGZ0U xDoSWbD5VF2j8siDVVqvTnAX2NOewmtdgDzonGtqwMckFb3I9hpqXnb0ZKpPkMS9 cIlCakmWYhXMbM+tZgyzgqnwfdJ1KSiF+477mr5k1epiPhv7MX7MGnT5TgXNnTa1 4wvqe11JZZzY6Rp0ScueEOQAAmd33X/DUEUl/LCFFISPxXdEqhXH1coRAyvQFrSR UzSF2UTVWbOV1L0I1gO0WD9SMiNw2BzvDEOtNeChO+vTX42ZhinBEdkB657OmrQ6 oVE0yVf0fNnq+wGPJ86q9IRUCyf2ajwWn5MgZo5EwdhfxPxF9JlvsFYk2ZP2Ww4d wo4u2xnjfnMVr3J7bpv1b5+fq7h78J2E7vUcH/rnVfiwvF9/9F5vtXayRd1eZIAw Udt/HQkgjY9RjtPumCeyzumDP0EfD0sLbWNQjCHWFjwIujx/NQx/HEbv1+xH4rFw
    v0tXw51ICS8x
    =VJCe
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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