Accepted coq-reglang 1.2.1-3 (source) into unstable

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