-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:43:10 +0200 Source: coq-simple-io Binary: libcoq-simple-io Architecture: source amd64 Version: 1.11.0-5 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-simple-io - Coq plugin for purely functional IO Changes: coq-simple-io (1.11.0-5) unstable; urgency=medium . * Fix compilation with recent dune. Checksums-Sha1: 886cc16a11177904b5a9aff523426f1e96929f20 2201 coq-simple-io_1.11.0-5.dsc 8ab9aa23aabbec6a24c72e5951cb76ad978681a9 35489 coq-simple-io_1.11.0.orig.tar.gz 1c9d6ddc68b3cebabdaa8c289ee31a5248f9b7bb 4632 coq-simple-io_1.11.0-5.debian.tar.xz 3279c32026187d5b19af4d42615b3b40aa4d3bc0 7051 coq-simple-io_1.11.0-5_amd64.buildinfo c808d132fe855e6353e4d30d5fa49b51af8ece42 225668 libcoq-simple-io_1.11.0-5_amd64.deb Checksums-Sha256: fd578404f29fd33653fbfb485ff84c35703e6406421acec1ce2c86a85e9da6b3 2201 coq-simple-io_1.11.0-5.dsc d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz 2cac15e629cb61360fd64ac3ac8fcbddcebce8f9b0f91a008b0bb9728ca1452f 4632 coq-simple-io_1.11.0-5.debian.tar.xz 6f6b7240ce8832a96176d170226d45ac427a9b81eef21b6786848d73d24353f5 7051 coq-simple-io_1.11.0-5_amd64.buildinfo f5ba552485b2e9e0cee06028baefa14b6f3fe76ed13ad36346ba429f4405b3b6 225668 libcoq-simple-io_1.11.0-5_amd64.deb Files: 73406ad4c5a1888934d848a1c680e535 2201 ocaml optional coq-simple-io_1.11.0-5.dsc 149a38aa56a849082b3aeee8af7d1deb 35489 ocaml optional coq-simple-io_1.11.0.orig.tar.gz ec008c1eff72d74afddc5753afb90b6c 4632 ocaml optional coq-simple-io_1.11.0-5.debian.tar.xz e2c33a75418505305f3ba795af6abf1c 7051 ocaml optional coq-simple-io_1.11.0-5_amd64.buildinfo dbec13599b5ac1fc22a651a00b4017dc 225668 ocaml optional libcoq-simple-io_1.11.0-5_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1VwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ/4D/9eYrN25RB138R1rdJUkMjY wvSIoWMKwSRtXyndNNqUxLXpCSc318yGfO/ZA3jVOBlHV/QVNCt+vrVXf10+sRFm hZW3e3jLmSKPF/y6LTnWMh6lQTvWAfFH7FoXjoyEI88+2Fdw6LEQdnNyPBrtScta 7Q0WN+HoROrkIOWi0Y/Tjy0ZEaJJEk5k0Z9ZssJzlISXgHdKSpCGa8FsPe7sc19M O0E3eRs4/DUN+N9tj8zPCymzaZpHPeU3Jc0lJe2ZrxjJgkBToYG64AEpQ36BSjI+ u3bRuO7r2axr07Vc2oHNLk3jEp9yqyOvuli4/6fJeVtq9TMciTlpAR9VE/fN19p2 sXl3aKcZQR1b/XZK74xbtif8/IsyubCAW9h9idU9M3+jOU5FFPnwDja5aCSn7azD qDkMSLk1WaUagwqkIEvO8s1nGXHi/GIc8h/ZrVDeAPCGy5MhuEM7hNH/riQouN1w QSXTnREXXznQW8vGCwRtB6eKkrlb+OaKe5nBf0nZMsULmIwvUVaOLbAhEdsXZ/t+ pqqCFmMcmuEg9A+7dvInKkM9wcIaQ0LtcHPJlbXW8sABIV5hGgnD8EnEbnQzVSRf QERAFCzVuSDqXJILHDJk00Hj1ySujVpzBbDhfcLAb/XfWA8LKKKEJvwo+J0SbwLx VEfN6j4HDgJ5RlaDqSxZPQ== =qT7Y -----END PGP SIGNATURE-----
