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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============R16158983420236059=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZjEBdwAKCRCb9qggYcy5 IQrPAQDDeALezy9VZ8T7ckVUmc+RIuuxaSc+qTzlPNQelRZocQEAqygJ7L0Xf8mk 13VUX5VU5+Bydn+HZYii4p++0OhcVQo=cqA+
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)