• dh-coq_0.11_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Tue Sep 17 20:50:01 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Tue, 17 Sep 2024 20:25:36 +0200
    Source: dh-coq
    Architecture: source
    Version: 0.11
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    dh-coq (0.11) unstable; urgency=medium
    .
    * Fix coq-serapi addition.
    Checksums-Sha1:
    709d2dcccf1badda51ed77b4388f05f7ee7615aa 1655 dh-coq_0.11.dsc
    493bc68166478952e3dc3755c46188173c51b014 8592 dh-coq_0.11.tar.xz
    2946fc5ff551d26501ea1659eea9c7dcb1f61678 5395 dh-coq_0.11_source.buildinfo Checksums-Sha256:
    2970225c00a49f6959e5f1ba685690df53cb6916ac3ea7acf93ce0dc39d723d5 1655 dh-coq_0.11.dsc
    5679d5539b44195cf46482beb1c6bffe31a66e06e725ce0f153d6ef52ec4b5fb 8592 dh-coq_0.11.tar.xz
    1dc2355ba42ea5290fdd195cbb6bf016cf330bf2d17a3ce90f6db6198d4205ae 5395 dh-coq_0.11_source.buildinfo
    Files:
    11d3be032379f669a71444effac0ee17 1655 ocaml optional dh-coq_0.11.dsc
    92e67a11795dcd398b9f101c3ebdce83 8592 ocaml optional dh-coq_0.11.tar.xz
    aad1bab367607f212d7c6a412f25f298 5395 ocaml optional dh-coq_0.11_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmbpycMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRyIUQAJgCZRZi9PISYxStGwg7Ycxp57xiD7YZ YnnwhqMy2R5VJcQXSd4j07FAZhHbPMJb2GIX50aZVHuJMgfpeKdhSR2jafD/qh1/ jELG8p7qMycyETtm2sbm0NdQc7Ov96MDv5HTe+YEICCrm/nI7rGRmpju53bIZeuY 21KbQE992t6/3fCKt7S28OB1kDaILBoPcwRDIZ7zS4KCHtYidaRtz8t5fGNz1AOQ zSHa4NzKxIZnfD0yJZeCONkWH7Qu6C1+2zg6NAnAn2ryMetNwI7n6hOZGRY1FCNW asYdijsUV/79ALgYMtrGhYWpTQt3ql8jfbElxRsANFImKa9VNb/L9J/wDWMoUPRi BppJkFYYioI5cv0C1bllrk/MUFVAulMl+/QzcvNVzkbFaQ47HgndRJnAM/63rBLV 6Eq8HTkGqIr65S0ICdpkgG+UcELLMKMvuHstIqcPza/TDNg5EURNAqFmSvGILg5R nOVM6Ir0d3CgTjmSYQN7YbjgZJ9R7DKnWuaaOhKqe5DZpMuqG5bAyjRVSrvSDTX4 w2f8TakKIy2zJ5PnlFtq0u43K7qrdzYqxwosyy6REppXGgUTq1fcuJXkh8wdrThL flI9j3n7BBkT29a1eZdlDJ9Socr80cAMaekrDkOAomjdNT5yWtMAyIrvW/ANfRlp
    nLJLPtwKbUnl
    =a/1l
    -----END PGP SIGNATURE-----


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

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZunPGAAKCRCb9qggYcy5 IW7LAP9XUhyjZMgSsjDqlR7gHjT3y+5lC9Xu6bPVYqrYLx3+egEAlHJeQiFI4mYg lYyBrKn82rfNIak9uM9eJAOnVX56DwIWh2
    -----END PGP SIGNATURE-----

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