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-----
Attachment:
pgpl9IVdvdTFY.pgp
Description: PGP signature