-----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 <[email protected]> Changed-By: Julien Puydt <[email protected]> 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-----
pgp1x1bmM_HfO.pgp
Description: PGP signature
