Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 15:56:43 +0200 Source: coq-reglang Architecture: source Version: 1.2.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-reglang (1.2.1-3) unstable; urgency=medium . * Fix target distribution. Checksums-Sha1: 176ceacd495d9e7502cd973646b5031b006c6f34 2117 coq-reglang_1.2.1-3.dsc 01417a30004f9593535387df438fba783775983c 8564 coq-reglang_1.2.1-3.debian.tar.xz 3baa140f5de34f4c76bc8cc2b8b45e2d39d56ca4 8746 coq-reglang_1.2.1-3_source.buildinfo Checksums-Sha256: ea50227ff9ee7fb9ee7bdecfc64c7faaa293f2007bdedd0cefa458855d584a87 2117 coq-reglang_1.2.1-3.dsc bb8bc4002afde97375e9674e123c684e8f6a9b3b155366c3300229dfd32994e5 8564 coq-reglang_1.2.1-3.debian.tar.xz 734f34bb194c2fbd70179dff1b9906e88085c73aabe54db64a2e859ba784e498 8746 coq-reglang_1.2.1-3_source.buildinfo Files: 8f74db16106d4f4290086e43444325e8 2117 ocaml optional coq-reglang_1.2.1-3.dsc 6dd3da0db15426d6214dde648c6e3317 8564 ocaml optional coq-reglang_1.2.1-3.debian.tar.xz 332aaf4bfd786a9d715ef899774d29db 8746 ocaml optional coq-reglang_1.2.1-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrstUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRhcAP/jQu4oMnjQRaOkvunC8xB6mUrYXSX+EP N0PmZFdHNfm0VeTB7rapfCWIOa9uMCx8rZbd2eyUMQ++mrTPMye+Po5fbiqJOqXO FeIexy2VcTcQq3GRxSHNs1rnQMgWFk/bhYWyvwUt0+uhbgXZZDxv+mseJydX9HwC ogaZh7zsGa3+TRWsWS7T9JAnMhv4Ux69CVtWcRRnCL0Dzo8IFAV5xHKRGTAno9oQ alFgaxsHWvcoEO1ARPUl286iRv7nxrCUQy2t7nv8PnuSmZAgoJBRJHOvWCA74OhD dBVGTkECyAHU0QAM0GtBHGGQOHOk5DkzNGEL8TbH9/g1ifvtl6EOrAtI5No+FTnB om1vYaAIn1P4RA9R43+q3L+cSlvD1FS1XJjSvYNfTWfBrIZlbya2t7YKHhF+vTS7 78UfrVURDL6IZylT7NJUPLLO+fCetT0InqxVG98/6VcWEcbwUIOXey+EW7RSNdTZ Qy8vDbJEt4j2eyiDAFB5NCvZTLYlrz44F62OA181cClD19ZRm3ZG3WkkOfD+DxIi XS43bCpFrBypTKl887LU1bGgnEKzTCimvHJH3Fa3FC4a/+Ck2NDHqkxEOeqCDddH LyoOl5F2LJDO53UVxFYtdC8wRMnWLFkMid/NVmCfsc1rVTJWFsmTO0ALydQ21OAb s4xZp0R30L4u =IaaO -----END PGP SIGNATURE-----
Attachment:
pgp_kHYgJaRCC.pgp
Description: PGP signature