-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Jul 2026 10:04:23 +0200 Source: coq-reglang Binary: libcoq-reglang Architecture: source amd64 Version: 1.2.2-4 Distribution: unstable 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-4) unstable; urgency=medium . * Fix compilation with recent dune. Checksums-Sha1: 174d3823b318e42fdea46640d3cae5fa608c7c62 2148 coq-reglang_1.2.2-4.dsc e3349130b4c4d6f05a3114be8df583a675328952 69740 coq-reglang_1.2.2.orig.tar.gz 5d19f7f1c8cc36daec5b379fdfe485d472b85ee9 9668 coq-reglang_1.2.2-4.debian.tar.xz b5db8d32256e506de1fe56e7fc4a68a79b836f5f 7586 coq-reglang_1.2.2-4_amd64.buildinfo 707548f0b5672e52812211a8edcb6bdb4f2c8b2b 886872 libcoq-reglang_1.2.2-4_amd64.deb Checksums-Sha256: c3dc78e3118d8e4e6e90635fc9c907900e1521555a98a6b0beba8558af5c48cb 2148 coq-reglang_1.2.2-4.dsc 78be387cc7f96fb01463036e8f40fdb6955bcccd3a000e39d74e98bf3894d853 69740 coq-reglang_1.2.2.orig.tar.gz 1d059e0a686f137bdf3f2ffbf2b5472ab530161c40db9c8d9ebc3c199369c812 9668 coq-reglang_1.2.2-4.debian.tar.xz eb4e69ce1b9169896982c678fa54f37279dc88e8ef67471afa59f941e2fade01 7586 coq-reglang_1.2.2-4_amd64.buildinfo ec4021531942cd2ac7b6b65f76902c2b3040ab5329a8b1c7b9608209b2b14cdd 886872 libcoq-reglang_1.2.2-4_amd64.deb Files: a33211885c2fe38730dd91c7d632551b 2148 ocaml optional coq-reglang_1.2.2-4.dsc a557f003d5bb739f7ca139ff378415db 69740 ocaml optional coq-reglang_1.2.2.orig.tar.gz 76b797c2f534dfc0902bbfc7249b7838 9668 ocaml optional coq-reglang_1.2.2-4.debian.tar.xz 88e4ddcbeb06df0b3be8f0375b9c1ea5 7586 ocaml optional coq-reglang_1.2.2-4_amd64.buildinfo b565f784281b4917f8ee748960ddae3e 886872 ocaml optional libcoq-reglang_1.2.2-4_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpptJoZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUf7OD/9E6fKVsSrza/5RnBV303+p DSZMV4FuVSLxEkZdrXytAjwm8rbTrv6vEdltmA2xYtY2tWkNiifpHkpmVEGA0eKD 1ELBST8rhnhrZIDtcXg8un0zXfm0NgLa1MALq+KvZXkG9pxkTzueWLSzaVa+cUZO VWQeZibNl5XZJpFlc2BjKxlVW7Uwh+Q97IOvBCZOjzDkymXmVLAzytk7IsHUZpeP aC5F+X7eRSNiXPX92WaevEcWyN4DD5kS2BLawQfLhzMgRiUfpkMLiGFlyOZgtoFB 0ch1KDFXZt71fp4zmFxZ1+PYf/JKcC8XVKOX3N9TNwpZbHpJE0QSJIkuy7v27XCI LtAw1hsLM7eOCUVTrKq+ACTqUHHTgOq+wjwZGr1/LluJMe3ScB8SrvnBVg5OdPAc T4xjDvCB2TJLu4E2sHLIopY7UFdujEpEm8ywqNy6Oa8onxOlh9sGZ3Eil0/NsL+F ZWFW6NDgAcS1pP52Hd9HbyLi5lHZL1zN9J4k9Su0NVAzMcebIiy9AbrSxza8LVfA wP9v2sPtuynbt9jo59fT8ZhuZypZ1x46fI9YLEtUxTp+2OUQxBBaPphqfRivFz2T qqlvxhvIUTvnYqIsWqNgOqENRwktl8D9ThRXvbTVC0RuBY6s/vccu/q1ORgIIN3Z lxxwnfotqkks+e4nm7apzw== =umii -----END PGP SIGNATURE-----
