-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 15 Jul 2026 15:02:51 +0200 Source: coq-reglang Binary: libcoq-reglang Architecture: source amd64 Version: 1.2.2-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-reglang - representation of regular languages in Coq Changes: coq-reglang (1.2.2-3) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: dd600c97c22f725ffbf1146ae34f49e8d348f1b8 2136 coq-reglang_1.2.2-3.dsc 6245a5fb923b97c26f72a86453911603ee3dcfaa 9340 coq-reglang_1.2.2-3.debian.tar.xz 6e4c6e5db2de1ad17d6e70c3cf7cb495d3a83ea3 7658 coq-reglang_1.2.2-3_amd64.buildinfo be8352486aa4aedf805f7550081d447e766b9fae 887072 libcoq-reglang_1.2.2-3_amd64.deb Checksums-Sha256: 53d515fe7b6a4425e9ad632b4474401124d91e843a453f14822962d7de6574c1 2136 coq-reglang_1.2.2-3.dsc ea17d7d53a7a71b7b46f8c9ae4bb1b88dc280349868766ba59ee7e0f6bc04b72 9340 coq-reglang_1.2.2-3.debian.tar.xz 53f313e4a51913e00cf635a2737e88f1bfcf324750ffb7e485da3435ac00f012 7658 coq-reglang_1.2.2-3_amd64.buildinfo 41dc7198c361ae108b546c1f28ca1b7a723ea8f08e5cf3a231a8ad214d09ddb5 887072 libcoq-reglang_1.2.2-3_amd64.deb Files: e6c2144cf3c1be740008d8af77b43c2f 2136 ocaml optional coq-reglang_1.2.2-3.dsc 162304f5505bc15b9a73ad138b210a6e 9340 ocaml optional coq-reglang_1.2.2-3.debian.tar.xz 8f5b0c1ebd7aa799d17eefdf8b5cf2c0 7658 ocaml optional coq-reglang_1.2.2-3_amd64.buildinfo 81c343053097e899f7faecf0478848e3 887072 ocaml optional libcoq-reglang_1.2.2-3_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpegH8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURgRD/9hjNVZzgR1ShexKGJleILi NmmzcoIseoza67QvWiiahJmWW6N+4WMzkvg55HvnEfaXem/ZAcxRC4AKVFtERydT Zu5gO2g+7p8jEtDFp5TSzpT3P3WKKyh7tBG03n8RCWqHU+yJ4VM5lIzbJ4g7zrfQ 8CPiJj3s0KFTnhFY0dI7Qd8a9v8evWy/6XU1mfEyo0uBs6o9ixOiJXn8L5yl26xV K+ZH9TKPNxe+ToLQ/NarUcYgvkglPawIg4114cJIkMJW2q0Pp+sBo22mp9npZ11K BpfOpP/rStRBiwZaHxQ0rVPzz0p+YpvS60v3g0yCT0MF7xv6KCW2zTMZXcA1kZ2V x25+pkp0o1+enfKwmJl3IBnUHT8fcNZiadsJBcWI9nJJU0aDycn3LAPLTEqHICmh dwa0TtZkzG1Dh0ViwAEcN55KdA4LbXrwgPN23NfYcGIFMsDlNaj9Bqu5VVUY6r9K U3g7Pl01Gc46aVUMBf/ax/DKZqNEtz1lrgAsxNCnrECasP6wKzJsrxe2E+htrfUa ppj2XayFsJ/po79s0WYIOroivXDkO73a0c87uLi2IxwkAZnjPdE7p6aHl8yW8Ird pn3i4FExpkax4V7Vo/p1hSqRWt3QQPxebmoLCwpRFsRApyoQRD6hj6l3pOfsObPg 7yApHcGVhsNO/TT438/xtQ== =eZcc -----END PGP SIGNATURE-----
pgp6aiN3TQNgH.pgp
Description: PGP signature
