[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-deriving_0.2.0-2_source.changes ACCEPTED into unstable



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

Attachment: pgpmn9tQwR8B_.pgp
Description: PGP signature


Reply to: