Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:43:12 +0100
Source: coq-elpi
Architecture: source
Version: 2.2.3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-elpi (2.2.3-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
93808b66e6ffb02c95fa8d0186a40611940cde17 2061 coq-elpi_2.2.3-1.dsc
bb783ef32a84bbff20509081767d0ff41b556705 753938 coq-elpi_2.2.3.orig.tar.gz
35e6d007a039dde77cec28a5a2ea1e5f439ac51b 3720 coq-elpi_2.2.3-1.debian.tar.xz
d02157b6cbcfc9fda4213e1db32786afc67aa40e 7885 coq-elpi_2.2.3-1_source.buildinfo
Checksums-Sha256:
dff9ae5084772294fe623a7d171228445c170098b82550b5f494573f31a14c1e 2061 coq-elpi_2.2.3-1.dsc
3166d098ba4a05bdb7036a653aa1793ab7eef50830e37db3d73f15a4faa64cc8 753938 coq-elpi_2.2.3.orig.tar.gz
78c1321f338c50db2e2dfcbd235fc2296333764ddcb7f31bb8b4ab7ae43292fe 3720 coq-elpi_2.2.3-1.debian.tar.xz
168d457fb034491b7fd529d7e2cc716565a04e8b34b150113f71d65041ed6f7d 7885 coq-elpi_2.2.3-1_source.buildinfo
Files:
960cfcd87d2c41ad25cf529f9bbf5303 2061 ocaml optional coq-elpi_2.2.3-1.dsc
90e6b8d2397729b5d1725fed35da8cef 753938 ocaml optional coq-elpi_2.2.3.orig.tar.gz
a29307f9fe836f510a64c1ff330d86a3 3720 ocaml optional coq-elpi_2.2.3-1.debian.tar.xz
c231c61ebe66ef1b07e56aae4df2f1d9 7885 ocaml optional coq-elpi_2.2.3-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9r1oSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRMIYP/A4MTOtqpaQX6E4HPu6XdFJqjA5rwbRY LEHEpF/UtgQQQi9U3ic5TqnEKVgmMGTKS78xZ5Ff00l3Mt/wLoUx/HIza4PjDoD1 SL8+NgNbAi0uehSMuvrYAOSJ2duhi/e4xIKm9+ei47RwapyN4V6jmRDmApisuAtd BAeYZ5PHkzCF4J6px7GqmZJls1CUYImjdlPTDKMcFTCRyRuCGPR9ylKbJbKGV4BN CwUKx9slwCXfkkQM/ckRGo1tMgIGR18tu04SjFACDKpQcrpZFky06QiGAA7miDRb 7OjhK9aQSpgehZASYMYqok+a6tnRUZ7uYUdzj666F5DH8t2cwXPR1BUqklPDfPG5 T2AO6HV/oSPE8GTKR93LvgZcb0Ue/il6oZmaHf/nTcQ1/wNTE3a0iiLwD9fCli+O dWDn0lY06uMrmii52wLKocZGkNe8Sg3s2dYkffyM9A4NMnYpIBwxj8sJ7jKxHzK/ RAH5X6pexLuR8+pZP3/kssAyZyiLShOHOA8QLar8HjTer7wYnVN3hbLNDtNybI+s f2GW42+Z2Xb8yf/mcXGtbba6vymbS/MFrMU0/i5p+74zXRvsXkUlMm/2WVYnJ09A xxXn6eHFby1tuFLoe6QzYLJgHZdXk2TvVyDtwpIeuuzKF+TZpXV7xA9sSdCz1Ldu
NW08Hck2khf9
=R0GE
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz20hAAKCRCb9qggYcy5 IbWIAP9D25FIx9BLaQFapSKQ+JA3MKb9QTStImVYvhj5z6fNvwEAoJvix+iKuYLP LQ7eYMxEIx12Y8woL6G5cF2cdnGSnQ8=0Xse
-----END PGP SIGNATURE-----

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