Accepted coq-reglang 1.2.2-5 (source) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 12 Aug 2026 08:51:25 +0200
Source: coq-reglang
Architecture: source
Version: 1.2.2-5
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-reglang (1.2.2-5) unstable; urgency=medium
 .
   * Source-only upload.
Checksums-Sha1:
 c515f1d7f4a01793feb6eabf4ee6e184491c9e3c 2148 coq-reglang_1.2.2-5.dsc
 e3349130b4c4d6f05a3114be8df583a675328952 69740 coq-reglang_1.2.2.orig.tar.gz
 980d94dcdd2a0e2a528072ab3a3f2f58b8e84439 9672 coq-reglang_1.2.2-5.debian.tar.xz
 44e7695fb896b48b6b3efc3eeb3b763fee9e412e 7517 coq-reglang_1.2.2-5_amd64.buildinfo
Checksums-Sha256:
 aa2862e894a90fa4908bd92e95b11d805aedc088e2030221ec5bc250af61e7c9 2148 coq-reglang_1.2.2-5.dsc
 78be387cc7f96fb01463036e8f40fdb6955bcccd3a000e39d74e98bf3894d853 69740 coq-reglang_1.2.2.orig.tar.gz
 eb12295812764252e3cc109ae833b680591be26b11941e04e7f412fb0fc62c5f 9672 coq-reglang_1.2.2-5.debian.tar.xz
 d7bb8d37e89977d88f9b07315c9be084eec169168f874f61ecbc6b27c5addb25 7517 coq-reglang_1.2.2-5_amd64.buildinfo
Files:
 4e3d37cdb9add6cf306ab708005504a4 2148 ocaml optional coq-reglang_1.2.2-5.dsc
 a557f003d5bb739f7ca139ff378415db 69740 ocaml optional coq-reglang_1.2.2.orig.tar.gz
 51b266b3d5b2a57ce76a83b943be75fa 9672 ocaml optional coq-reglang_1.2.2-5.debian.tar.xz
 5391acd0beacbda137e401973843fbf6 7517 ocaml optional coq-reglang_1.2.2-5_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8GKoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd42EACWSZQTsJatG2fYicnEUxXf
1qbQRbKeBzEeTr2s1M/IERZ3P06fc+VFdd4SNb/o6qsAEIzoS/Uy3OUxK6gyXkcU
WH5Yqk5hXY3RExkyxFMsH8p3fOoLIhpSorklvcKgGeKcVon/bgK/8CANP/9BZjkE
Yjrc2mf5K0Up/+2HY9OoZy2S57wEE7GRxgidznoTj6HntLwxdHqsIXE0w7TFijeM
9mLFNtNYDCQd7sdIEBhQ6pv7t0h6powCcRxgb05e7keK+McS5Ddi4eNSYAyo2C2P
DHsJpWehKoDBqzNWAiiLLdaqhnaFA1dS4bFFUBg/Rlug8RDLEAKZCq8qrmdJBL/P
B3BmznAAD8DB3khhSEBNyhdhLRgUVJk7HMTUHc2kzDF4KJ00vZ76AiGzkBtkFFXs
D2t4YOsaahB++U0uQtXS6pDdmB/Urto3TzE4+sRNRtNoz8PpCxeSklAhGBPLivZV
4L6VD3b0VhL7v4cXgBuctVF+IGnzAFJ15OS29nfVVLBb7dDh2+b1rRmmvkMiHipu
jwfdimLwkBLanBtiLVvi5GPJlYmGVPF9YgKPzP77zfw7/qeqxyYJtYHGrdo9na2s
WNocSjO+hwdUeBI+SQiMfmKdgJ64EnzIk6k5qMm9vlyhhMzvg+++fY9OVToi9BbS
moqQqb6E1D1CeRXl1KDp0w==
=brvr
-----END PGP SIGNATURE-----