-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 19:26:25 +0100 Source: coq-simple-io Binary: libcoq-simple-io Architecture: source amd64 Version: 1.11.0-3 Distribution: experimental 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-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 583e5f28a6a1f4685d3aa42ff40cff90b2920455 2189 coq-simple-io_1.11.0-3.dsc 6cbd41be0a964b82cdb72ddcf20e190175361af7 2820 coq-simple-io_1.11.0-3.debian.tar.xz 4e92681bb87f6ed6c321b146faf0e5bfb30c1588 6937 coq-simple-io_1.11.0-3_amd64.buildinfo 7793fd0e4d707e9909e49e16dc3aa8658e2c3f5a 278288 libcoq-simple-io_1.11.0-3_amd64.deb Checksums-Sha256: 67d2e677deef42bba80c15b71d6a7b202dda83f151921870a63bee3f645acbba 2189 coq-simple-io_1.11.0-3.dsc 9f7b645042d54b9d9a9e32b77d1af7118a8cb9455b8fb4c54e153a444e1b44ac 2820 coq-simple-io_1.11.0-3.debian.tar.xz 9cd9d1aa7bbcec11235f5ca77c6d32cf515799783019ec08fa9843c8b1ba8ddf 6937 coq-simple-io_1.11.0-3_amd64.buildinfo c14db226579a14cca662612660b0cca10c5ec7cf49a4f21f8d38377c4a402f43 278288 libcoq-simple-io_1.11.0-3_amd64.deb Files: 8702d89aaae40e6be594048a43e0fa2c 2189 ocaml optional coq-simple-io_1.11.0-3.dsc b49019ed9a9b63a3f40a6f99b4b04031 2820 ocaml optional coq-simple-io_1.11.0-3.debian.tar.xz f9ca32407d71598e854d9e62b48a5f9a 6937 ocaml optional coq-simple-io_1.11.0-3_amd64.buildinfo c9df0448dc78618497af462457795cc1 278288 ocaml optional libcoq-simple-io_1.11.0-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgmcZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWjJD/9kE7eND75aHfR7/LMza2gT xoHAA9kBafiTSJA2A67A+dwttFzoDT+P4HwgGmf4N/PhZ3JtC77iB4NeoZrLeFwS OLxx3lmRTryPx0WtEAri2dlxn4KD/A7aVmFglIoSbnyHxg05JRt6Klz3gwJgs6x1 RYBTcMa3tgaZ6jAumYMSTncbT/9SBKfc4vi2qxOySTbAiY0TveQdiWgKVl1uKhdg 9g/Glo4J0kZj1cO4k6PFO8MsFjGlamnqU93ikZIzy+46As4pMx7qRUpEYawoI3eH KfNV8NhsFt1yGUhIo6yycBZjS+Rf8mPh121x/ZJ510geysGYf6tIO443dCjOpja4 4SNc6UgtEHvGjoGlyMKhhFNaORHfrf8mfmdc/f2wt85CIT3yyT6sIDOgjhLxAvn2 C2w6Chudbrg5fMXjXdJ2RjXiAJI/OzfSA8cO7BWUmNNLOKKsa4mwy72v2qKRnI7U y+0eXWAQ7KgGj+u9yRn3/nOvBDkkS7+oCu3tQ1Jk50vUM0uqhkxBvfavK6nzdfm2 LbBXogvSKSDSERWdJ0aDgrgh7wcaTRcxJ7mTPaMpmYn2cMHPE5YllPvWDEmBEwRC 7otw4mmPRQB8suBJt97SAC3x+I73xXxOcZlDPRgmcDcF/+Fo8P4siaU/dJXjGaUd ZNxBctzknL7TD7CnUjawIw== =pfDS -----END PGP SIGNATURE-----
