Accepted coq-ext-lib 0.12.1-1 (source) into unstable

-----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 <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
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-----