• coq_8.19.1+dfsg-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Jun 15 08:30:02 2024
    Thank you for your contribution to Debian.



    Accepted:

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

    Format: 1.8
    Date: Sat, 15 Jun 2024 07:57:25 +0200
    Source: coq
    Architecture: source
    Version: 8.19.1+dfsg-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org>
    Changes:
    coq (8.19.1+dfsg-2) unstable; urgency=medium
    .
    * Call "dune build" with "--release" to avoid failure on warnings Checksums-Sha1:
    a508f58bbb403e1e3575c7ecd4ce513b401dd318 2341 coq_8.19.1+dfsg-2.dsc
    168b1dcaecc94ae046d0386f51b23458d71e19e9 32852 coq_8.19.1+dfsg-2.debian.tar.xz Checksums-Sha256:
    1cc91e213502d4248507c0229701db4fed80dc737b396341d40999bb11ce1be6 2341 coq_8.19.1+dfsg-2.dsc
    07a6b25d9b0f760461f8cc3201c8671cce34ee078df36c01e9aad54af74cc94c 32852 coq_8.19.1+dfsg-2.debian.tar.xz
    Files:
    76717e910ecd76bdda167b5280c520c1 2341 math optional coq_8.19.1+dfsg-2.dsc
    2211e4ccf029b6aa12b76ca0654b553b 32852 math optional coq_8.19.1+dfsg-2.debian.tar.xz

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

    iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmZtLZESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBEqgH/RTjYXRQdYl7OPKLfvz8FUk59cxr0/id z01sazgHmaasvvEewxI+nM4VA+HRzNAJGB88G+D1Q4srC9t5FPzh8IqpqyQ0ir0h oD51lwJuDXu9zX/wHTNVNBOrhHGMcv5nJ+5QpSzOOGu6CLcgDwJowP4z43LrjuI/ 1aOMBlr3d9Wc6YMEL2AHseHU4FXO587Rc9XKOLgivr1RFf9SK3jbXVe2xwA1+s4T 2sYZvc+Ipz5j9WEdLRSB3EkBn3oaGUvajCLeOFOc4XysbrqY1kZKTsDy3uw3kqlT mfhKAjZEj+fFNuhzemU78Cd5t6rb+btIbD9zrzUJMO1X3rXVhx/P/Oc=
    =VUj/
    -----END PGP SIGNATURE-----


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

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

    iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZm0yygAKCRCb9qggYcy5 IXkVAP9DVuLb4N29xOSsIn9YNWyYysOJiQj/z9mpdGQVX4S91AEAg6OXOnJkH+/W iCI0UnKRixWB1eI/E1rGNBxTSbri9wY=jo55
    -----END PGP SIGNATURE-----

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