-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 14 Jun 2023 15:46:07 +0200 Source: coq-reglang Architecture: source Version: 1.1.3-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-reglang (1.1.3-3) unstable; urgency=medium . * Bump standards-version to 4.6.2. Checksums-Sha1: c861d84136e68d70ed468048175a6f9e54c29865 2111 coq-reglang_1.1.3-3.dsc 505761624199d6b2201c769e024ac8decc9737c8 8412 coq-reglang_1.1.3-3.debian.tar.xz f51f28904df811695a4c8199704e3077c7bd7121 7522 coq-reglang_1.1.3-3_source.buildinfo Checksums-Sha256: a19bfeaf6772296f222eb41ac4b18bcbd0f6d730763411643baaacf1f44ad035 2111 coq-reglang_1.1.3-3.dsc fee844a8ee85574802980f5598e5589d46da46848682f75dd0de85ce6a3bc4cb 8412 coq-reglang_1.1.3-3.debian.tar.xz 4d7dcba38f13466b15b50602a4ecd4bebe07ed42fa2490bf0a2c7a3b1040cbbd 7522 coq-reglang_1.1.3-3_source.buildinfo Files: 36681f4cf2718b2e09aba9c4cd3b740d 2111 ocaml optional coq-reglang_1.1.3-3.dsc 1aef75464d650d493a030698d26fd04f 8412 ocaml optional coq-reglang_1.1.3-3.debian.tar.xz c9cb2a91163d52265836feac79da2a23 7522 ocaml optional coq-reglang_1.1.3-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxKUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRraAQAKYWF8SSXbR/FkMKywU6ijM89iG9XZ0A x4kV5axSjHu+kGWx7RupYee+f1aUkW02DKXRCmQwwQV4r3ZbfpSvdYbnNzY8R40o nVZsyTt4HA+Bo7sep6x2B4eJ6eag3gxqWzusDLb3WnTCejT5dt9OwWqUVkgfd7PV Qqy2fGuZq7M1zFaXkvkqIl9WaEW/qvDgU2dglvaNYBL0bHG1e5ejKX9cALCEPUBu oQOlYiiA3xpldf6VIVvA1m8eh8M+H5aBJ1zE+WE4hawmoNyNHe05R1Tuaij+VVqt 3k8FxHKKv+ujvWpB8ikaQ+/IlGGAU/KW618kwXpy0i+IMopuvlFr+pA8cGspy/Tu dbQOjCshoxzu5Hnkvq/kLMo8ZWSsrK1Iky+RF+YVxYIxkyN7eNXIg3K2h5+2MsFy nfqT5tQrdfKIMYaHUYjtcDrC26fzttbkFcfW8wHSqyMQc3CqxfkwJmKyoHlXi/lB H1uvdUtaw032y30pfJJanj/gg2gFhHAr1yy73SrrFaE3SUMw9iHRgZdXC8re1eLh 1cAwRKLUQCkFiZ+QA9e4tH4WXBWj1PSNcKY1ql6DdlciOcfS21VljRvCkqvYi8Uz 1H9ICAiJEfBQs11x+XhavPvgnRp4pVV92WJGCU+07xsOCQPw/Nb/unQGNfWb9yPG UljxRmRSYXqo =tTor -----END PGP SIGNATURE-----
