-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 30 Oct 2025 07:58:28 +0100 Source: coq-reglang Binary: libcoq-reglang Architecture: source amd64 Version: 1.2.2-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-reglang - representation of regular languages in Coq Changes: coq-reglang (1.2.2-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.2. Checksums-Sha1: 5d31b003b9870a8b49ebafac8872df9dbc89605c 2129 coq-reglang_1.2.2-1.dsc e3349130b4c4d6f05a3114be8df583a675328952 69740 coq-reglang_1.2.2.orig.tar.gz d99dca9e52e9be845b669555c13bbe625cc7d414 8732 coq-reglang_1.2.2-1.debian.tar.xz d9113e3b6aefa984ed64da75047b755bae8f823f 7428 coq-reglang_1.2.2-1_amd64.buildinfo 45e4ee923ea581473ffc60f9fc56f3e642587582 938552 libcoq-reglang_1.2.2-1_amd64.deb Checksums-Sha256: 99083745fc9f1e9dc2e727a78ca9672afa27dd2838a7cc2f6fde030a6cc70d85 2129 coq-reglang_1.2.2-1.dsc 78be387cc7f96fb01463036e8f40fdb6955bcccd3a000e39d74e98bf3894d853 69740 coq-reglang_1.2.2.orig.tar.gz 1174ca34f3ca54e9374ee6f5366d44498b7e9e5da3aedfa83ec37819195a0860 8732 coq-reglang_1.2.2-1.debian.tar.xz c636e0108fd9f5a4152ca5c3d057ee9d0bc1d9f685d45d13cd00083d50da3c14 7428 coq-reglang_1.2.2-1_amd64.buildinfo 269acae59d073ee8ed7a95508555f9afe17e11883668f10fb9feea58247c8d78 938552 libcoq-reglang_1.2.2-1_amd64.deb Files: b4f855545e6e4ec608a4a4999bcbac49 2129 ocaml optional coq-reglang_1.2.2-1.dsc a557f003d5bb739f7ca139ff378415db 69740 ocaml optional coq-reglang_1.2.2.orig.tar.gz d2304e7dad30d8501c6ab6d5d30f28c4 8732 ocaml optional coq-reglang_1.2.2-1.debian.tar.xz 7b38b24db8b3a404ff5342dfa2f2755f 7428 ocaml optional coq-reglang_1.2.2-1_amd64.buildinfo 5b7764642d750e14373742b4156e2705 938552 ocaml optional libcoq-reglang_1.2.2-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDDnIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTFOD/9zK2yYZ/WALlJnFysYu3TP 3pjyYjoDsx+F24kJ0BvtqEGMJzJLcMAfE49ZmIDwzxE8htbKJH+x6Iq5m7UVKfvD 2RLr8J2QwPzkHKWsMampejdG5WQ3h20ZbkS56k/wGw+qCdeiE2ee7amiCZkyUEjB 7Y6CsiXgUhZBU09r18WfiSgnneDauJ8cdownE0LecyGjlCManANi/EYQFzmIwETk hj6vcWVITzCXChu4Js6mNRwV6e/H0knq74K4JsFkKVeNrPBJX5/c/CaDFBBd+gqc hAtCFP1cVrV/OGukDvBvYH//5CX3R1771ZTwLP7mDaXmZimT/80/sH/KpyPNS7TT GwqOy/+o2WkrYnARbChT/lIeY7budQADIDTCixYSyHlWt4q9BBC3X5CtLprhpJYX V4wu5tavr8Dt3uKSZB9bBCNLHjVeMWvX6JuzMQPkjxuJsVDSeQ1OldU+HQ/hrBoo TYvJY2CLVMjdlfHRihmGtp31tqRjknKGtKaRkYff1hhJV0f5RRQhcoLRvo+h3FzT X66HoT5X4WTxKhTpx4oa84yJAXq+f0IFlESDfI+ITUrkdTC+R1PSOcS9QM5gfwFG xRLDVp71Jx4/F2ca+NHa3DwxPuXW1I49AaucnVU95ZnCODyGDhmhVPpAkKQbXHZb Srhu+MfrSrLRcriZwA2nfQ== =EDFS -----END PGP SIGNATURE-----
