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)