-----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-----
