Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Wed, 20 Nov 2024 10:44:09 +0100
Source: coq-ext-lib
Architecture: source
Version: 0.12.2-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.2-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
699a50c0945f7ccf63697ae80a756bc0bdbdcfb1 2089 coq-ext-lib_0.12.2-1.dsc
a8844fbe6ae8a72f81fdb6d833bb34f434149c76 85093 coq-ext-lib_0.12.2.orig.tar.gz
ed371b3966118a2a6441f4830db07409bb7de7a5 2348 coq-ext-lib_0.12.2-1.debian.tar.xz
a4bd96b0dbfeb34b2f6fbba1640a640378b4d3de 7136 coq-ext-lib_0.12.2-1_source.buildinfo
Checksums-Sha256:
7e4edaa3411127aa6c59d4f3a1dd95c807f6f62bf9b576ca010511ed0ba61501 2089 coq-ext-lib_0.12.2-1.dsc
075439309775c804e8ff01a134871dbb4fba4654bdd068832b21bb5145f11bd7 85093 coq-ext-lib_0.12.2.orig.tar.gz
b484b4dd25267c2ffd8c69ab27cbbfa47fbec33c31166d4dd6ca66c5989f9acd 2348 coq-ext-lib_0.12.2-1.debian.tar.xz
4985fd9a87f7ec12e6b0f1c082066fa05df33dbc86089ee0934010388f84b20f 7136 coq-ext-lib_0.12.2-1_source.buildinfo
Files:
abeb82113f414d493616e8b2af4b7fee 2089 ocaml optional coq-ext-lib_0.12.2-1.dsc
5ec0acf1cece75511ffa7dab5ed35e73 85093 ocaml optional coq-ext-lib_0.12.2.orig.tar.gz
9a0f4c9f34a6638cc5d590f93a4ccbed 2348 ocaml optional coq-ext-lib_0.12.2-1.debian.tar.xz
581af2838b19589881d72e03eb3259d9 7136 ocaml optional coq-ext-lib_0.12.2-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9r4YSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRo6UP/0RDiRKVz3Y8P91RGd3FNwD+9c3+OhQS Fuojwr7FvS3hQyi90emGtjBs+AiufaMc5pYWWk/ZF1uzT3SknOQWVeC5jcyf7Lwd CFP4Zqpf8K6R2opEQY2DqgOWALymNtYnl/FfAWVPQN+gyBQsCvbuoymnSptFG3bG GEJb4yRSAdp8rTwROjD3uumHHFjrpQAWI5hkIoygKDDrHSQvyhWRlInCZGGwRVlU DB9OD5/BEPdaOS9O3llQhCOI8V5rRt0nX56ZyUNnthQ5cl9nnMol7Q/zD1p3lGrf +TuAgyHvF3+QvYouSX4BUQnxRX9wOXol84/Qc01h/cqyAe+ENgasylsUaWyxL9Cx 3BvR+aFuoyTjLHbntk21F8Dt/q08cBB3yHU+m2Kezz0ng9NWluUh7whZGNbyBTNb SBmV2OvF/CeDuJCn4a6ZbwvEZ/U7zt6Wdm64USI9nrDjAMNJvYqNj84mRKMB49xi +AC32BueIu9/YDW2un9NryEG0I9KjOkrqO8CnyzL/Y7Y5FJ2qo1GHEicrPzRaFvN SeUNWHrNm8FynjjrkzX2MlaPkuoM9xIuvkZ8yL3BoOgMKlcC54+7qGIBYnRaIxIA +QlmVjNxb7Xl+yx/u+46ISz+j2sp+3uG14q9zH4hhqQ/BIPeguFJTG6oaXZAVgio
2JCEdMeBomKY
=01oB
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZz20mQAKCRCb9qggYcy5 IZE4AP43TgIjGYNseceGwwfI5sYa5364k3Up3T6NnQollXZdKQD6Asj0rqkOUlus h4+jBwqkthi/zqSsHUcfJdbqA+OVFgE=aVcw
-----END PGP SIGNATURE-----

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