Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sat, 03 Aug 2024 09:40:45 +0200
Source: coq
Architecture: source
Version: 8.19.1+dfsg-3
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-3) unstable; urgency=medium
.
* Add support for a different OCaml stdlib dir
Checksums-Sha1:
629b204ff7f4b44e11aaa388ce37ccd79c3b8241 2341 coq_8.19.1+dfsg-3.dsc
cffcdd614339aa61b1d6797404855051dfebf97c 32904 coq_8.19.1+dfsg-3.debian.tar.xz Checksums-Sha256:
6490fc82f3ac6d4dc37fbc3b422717dabbe5a02c95ad319e7387ca4593c1e415 2341 coq_8.19.1+dfsg-3.dsc
cd92cf943d2ce2e01d08d2fcda3f65b15ae25aca811332e18f7a58fe560ba82e 32904 coq_8.19.1+dfsg-3.debian.tar.xz
Files:
ab46c45713746ecb2b7f26b994d0da05 2341 math optional coq_8.19.1+dfsg-3.dsc
53bd334d7f91adece54fc12e900e72ce 32904 math optional coq_8.19.1+dfsg-3.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmat3zwSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBE4EH/ipBu1n+LR91sdfpAcQaED2El25x31yT koLTe+LbReV9Fb5s5iijN8LjbRQfAo73dyMVqiyWZADv8yeSOmU0pdKwoD62U7LY PfwT2hfZ+Wgzess123oQALOHDhe+OlMUcuGGcRpOnGyvP8XeZNBH5kxa5L+VM/yu yqyNSeus9qM533AtKWNCc3igxVLSo6tz5Y33ufx1PuEqlgviYt6pKill2Z/iRNiy BY2cKdlB7F+TluHxti9fi2l+lajqnPx7quwfT5OUXEoHUFZL5W6m4P5b6qEHv+Di v0BY0rUfwJtPSVKoMyEPPAHsjPP/+onUMolUmLMcQ+uc4wcy989Ncp8=
=rWB9
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZq3rmwAKCRCb9qggYcy5 Ia2wAQDYfAg1h6UDp3XnjJ6a2hnkO9rbaqP1sJRWRnC8VOt9QwD/Szhfq188KNFa 93ZQY/SZKa5wHZTMGsbqF8ZDJDDmFA8=Axox
-----END PGP SIGNATURE-----

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