Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sat, 24 Feb 2024 09:56:43 +0100
Source: coq-ext-lib
Architecture: source
Version: 0.12.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Changes:
coq-ext-lib (0.12.1-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
76d5c08dace551ec624473b0cbf186766da2e908 2089 coq-ext-lib_0.12.1-1.dsc
742b9f4837564033942150a71878b484f4d17657 84299 coq-ext-lib_0.12.1.orig.tar.gz
fd8a9d38666ffbdc6e7712a7efabfd57de46f1c8 2260 coq-ext-lib_0.12.1-1.debian.tar.xz
f6b53cd85ed9a97c0f17cebe6d6dbdb3f233eefc 8349 coq-ext-lib_0.12.1-1_source.buildinfo
Checksums-Sha256:
00173e5cc235832fa75216b2039e9b73d3bc68dfdda8b24907b2fc822329dbbf 2089 coq-ext-lib_0.12.1-1.dsc
e1f994e261cf57502c8aaa74513c35f9ba82b97f380da1cc0708c02cd7b5964d 84299 coq-ext-lib_0.12.1.orig.tar.gz
d1ad6d64448371b326b6af54f778298a3969f5a23b78583e337417d54bf85310 2260 coq-ext-lib_0.12.1-1.debian.tar.xz
ae85a921f2f2ea9caf4e58ebb4a34aa3a3e5a9a18e82f62851b3933642527a26 8349 coq-ext-lib_0.12.1-1_source.buildinfo
Files:
c5c921237852ca86f8c20e914efef1b2 2089 ocaml optional coq-ext-lib_0.12.1-1.dsc
ad2ba3b94f2d86c45e89d9a681ea2a6d 84299 ocaml optional coq-ext-lib_0.12.1.orig.tar.gz
6d0557063e5445947846fa5365cc5d69 2260 ocaml optional coq-ext-lib_0.12.1-1.debian.tar.xz
de3fd7af96227adb587dc3247a7db248 8349 ocaml optional coq-ext-lib_0.12.1-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHzukSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRhH8P/3WRqEC0jhYeF+q8wgzpd3v6mcD1YIUi p28MGRcd+5J2da4wnx/Kmo+ztzsAMbt12B3+wM0b3E6iambCqcyMgMUkGyjLNcjk S/0x48S7c/srs8PFe/NCJnGx+cJoZ5sv9F4rtRu1fG9EDp9GvoFWNQoPw39U7emr DexAZVD/kEL+xMAB4eRXRDrgQi7CQGdPUpjCMw5c2I6bjA3m5jbH9IMw2PI54Jtj YUFUmF87avqllECENAVZ5yc8xQA8/UANPPzfIsgal+F7uEaaaRJRq1itV1boAvhp OvdSREM3kD8M5iaiWmZvg8RmMZs88HoR79wossRYNaC6dPnyRDwHSGbvD4kzL74D fw9b/MY2OR0RHVEcZ+4MtiJJn30nxYjo/zhVRUyt/hic/MCOXR/kuHfz1TBXb6Z0 KV6Vfb7f2s8RxFKMrNlZqZkImpaZJdpcxmx8S9WljiR2sZIX+UjyZoCpI2qVSFPd lJ0vQ8gXVzkQcXWQZ0HN5wP54vIjPc/jnm1CFVG6qIuqqiegkEYH4NKewJsCSqyk Tkz6Kp0wlQTYNTdDFAocRpL/OtHKn3AEZ+p/H1Xn0tzruyaz0kZT3KDiy5lhEr3G 1R1OsJE61P9KpYPZn+5IHkUmvvg/Lt2KmD340IeYuLsCIL81KhNG/CP4KqZrw3Eg
YVjR254BqfUZ
=VKEy
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0UjAAKCRCb9qggYcy5 IZ5IAQCCRWrVH7t4s0XY3yFpxUAXQYpbkV7f40ONhdhzXfQf5AEAyeUkdWue0b27 EZS/RyYi6JtmKJ6XlxEj9xFppnK0UQk=Iyiw
-----END PGP SIGNATURE-----

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