Accepted coq 8.19.1+dfsg-2 (source) into unstable

-----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-----