Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sat, 24 Feb 2024 12:10:06 +0100
Source: coq-deriving
Architecture: source
Version: 0.2.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-deriving (0.2.0-2) unstable; urgency=medium
.
* Bump version because of binary issues.
Checksums-Sha1:
2fddf7aace098e62736cfcdec85da048a47faae0 2113 coq-deriving_0.2.0-2.dsc
2f85f483784de8ceb92d61dd66eb2f18b63b656d 2136 coq-deriving_0.2.0-2.debian.tar.xz
ffde1a42db159e6c452d38d24e229adaecc4ef8b 8943 coq-deriving_0.2.0-2_source.buildinfo
Checksums-Sha256:
1ab02b875a98dd5f29b29a81e731604f4bfec60d25b9b708224aa03ce2f9c948 2113 coq-deriving_0.2.0-2.dsc
47d1e54c1a3291f04cd85c3ead0b71ffaff8f5976eb020fb67eb29edbb4ec4a4 2136 coq-deriving_0.2.0-2.debian.tar.xz
5555e68eec7ed45676bb1bb1ea8f2bded08f0778eb52591df5fe5598e76e438b 8943 coq-deriving_0.2.0-2_source.buildinfo
Files:
e8489d99850585fe83bbd19d58f44d77 2113 ocaml optional coq-deriving_0.2.0-2.dsc
3a761c9d1d782ad0abe516bd0592da64 2136 ocaml optional coq-deriving_0.2.0-2.debian.tar.xz
57d7dc3757567583dc0cb7a0881ac76e 8943 ocaml optional coq-deriving_0.2.0-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH5acSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRVIMP/2NZGxdSkmJylo2U0XBfNr9PIYlvzwpf DXrJvO3ccsWAEiQ8KVUQS4OfnjqAh/Il3DK9O/2GTgqrO+a5qSLdFApg3+BHI2ZS 0iW7uipZwsB6IuiX3FREvy+jEMHIPGcQXIv2BpHf9x5r8rpFAn0MG2L4i8AMnZs8 85O+XNIArf6nzIXKy+CBMsNlnf8J6xC6ERekrtoZc3Xkboym5pMBnDKkCpxsCq09 lvkQulzHAp0n/Jg6yQ6kXctZtchQuEVrwyiMPpEAcCUjM4OYhE15pCvUHE7u6JED 3XEg97DDT/lP8Ynhu/IK3UTT871KlJ6SbZCahMN0xfdGvfT3lm1fcbnT67PHhcjV qtVP5O22UXrCnHJ2QaoCUd773g+SmV5bT3HqneTYBtiEd3aKFOazamYJ3Wq2QVNo t3qbBCa6dYNR39U33QuTntYcdo96cjxFRb960AypuZO24EvQQClUgZjoSokPxpJb 3R/hlK43Xu7Z88VQQMhQO1t9dq1x14j64iqPzbei1wgB/AR2m73Og+XN4+i0X9n9 VM6qAaa9+zeiAJz2B5sh6SrhHdabuuim+lt+yA0BjhkPKOssB5kfWbAr2ZVo00pJ ZaeWnhmtNliSusoHKKQGeE5YrzD7fINe1Orl2yKJyMVx6FV2bR/WX8Dah1F9tMQP
rvt4wdsBrnvx
=6Prl
-----END PGP SIGNATURE-----


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

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZjEBbgAKCRCb9qggYcy5 IdsXAQDQaWqyCkEU82DXVnE06h3EtgqlpldP8vH9FyGq8rFWxAD+PlazbKnaodvq Qp4oD0sODZNDfhpuJSo8XAJ4Ol97HgQ=ttcn
-----END PGP SIGNATURE-----

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