-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 18:14:33 +0200 Source: coq-simple-io Binary: libcoq-simple-io Architecture: source amd64 Version: 1.11.0-4 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-simple-io - Coq plugin for purely functional IO Changes: coq-simple-io (1.11.0-4) experimental; urgency=medium . * Bump standards-version to 4.7.4. * Rewrite d/watch. * Add patch to compile with Coq/Rocq 9.2. Checksums-Sha1: 2b3e844011f5485bb47d8731cbc9322d3933a477 2189 coq-simple-io_1.11.0-4.dsc 5b55f3ae5d8c2a0d41c592c5e8e1c2fe7e479060 3704 coq-simple-io_1.11.0-4.debian.tar.xz d39eed299f815ac9a7217e88b7ec6a2d0699eb24 7536 coq-simple-io_1.11.0-4_amd64.buildinfo 237744ba880a9ceb173460ee0778ccfb7c123bbf 225992 libcoq-simple-io_1.11.0-4_amd64.deb Checksums-Sha256: a32b897ab0033a349ea2e01e4c983b050fa4dfcfb12a5db31e81165ad1b2c075 2189 coq-simple-io_1.11.0-4.dsc 451bfd3f72529982c233e43adc08e636faf81301355eda823eb022c45445fae0 3704 coq-simple-io_1.11.0-4.debian.tar.xz b749f4ae47156ccbc90ea14ae7efbd07774a9bfbe16d71650c6d5f4c66e3211a 7536 coq-simple-io_1.11.0-4_amd64.buildinfo 813f1b7b12ad2de9a73af5ea6706c01dd39e312845d80b39b0d89def7033dbb5 225992 libcoq-simple-io_1.11.0-4_amd64.deb Files: d0ca8895b9e56bbe38123a03d2a6e222 2189 ocaml optional coq-simple-io_1.11.0-4.dsc 6f8ce04ce800d0d9e65096cb14ec19a7 3704 ocaml optional coq-simple-io_1.11.0-4.debian.tar.xz 8dc378860a07a83f4bd1a15a83b45e7a 7536 ocaml optional coq-simple-io_1.11.0-4_amd64.buildinfo 6877c52e3235b897cdf0f8917b2a29da 225992 ocaml optional libcoq-simple-io_1.11.0-4_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpR6O4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURvuEACc3Nh4esBFSy2vcWDqOvLa Ag4cvt5gfs1AbNN1Pf3J0cizw7yv9dyILZCorUH4g7rNadSOlrIkQuhljBfwKFeL 8BCqCp57YMxqIfIwSDjzr8QPUrohZI25OWOvbOXoTM9WJaJuI4SAzNQsCL850M3C 7RnrDYcYT8o/EQQ7OXlrP+U2mWDcaqEbVIoIBeveJtOtb9IKV6UGuSrjphKKf2/A +sLG0CVov20DYgkRp2rnc+gsJ8x9Mz8h7XXsEaehrLLyf8z0qFVluYo60uDkV7u+ e2RI64kXRMHAdrJVM8+jf2z40nCnaB30ihefLOwtXLya0ldY+cAQtIesCi1DWelE v93ufGnPIVAY5S4Abho9kLnp84RG3QgtgjWXnJVlFioAJN1prPeVo4g/eeHIXSlj uwFevxg8DJ975vAcyk6AKtRDku57l4dGNZ67bDRnomc/5TvMYYIeYzP1v5agKt/r 331fqBUCCybIxxU4unBTbvUGZejMXOVI2L+CyaWaB/NUfVOaZj7PMymUUkDEkzb1 N+MO/ri1Fykq8iUILdNg1kDcvgvNHqxGjWiJj20K5M2XibuP4yb2VbqXtrgfO3sR mUCygDijMQ6forpxJKZLhwpgzYHBC7bU0iiuinNLoS8k8bUr8z8P+RYM5jum/ez0 uKlUEiy/hWOJs3+zy8ZOdA== =bPzy -----END PGP SIGNATURE-----
pgplgu8P0B8xR.pgp
Description: PGP signature
