-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 13 Mar 2025 15:48:24 +0100 Source: coq-simple-io Architecture: source Version: 1.11.0-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-simple-io (1.11.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: e5598763d386f0371e494a085a7b1115d2910a8f 2183 coq-simple-io_1.11.0-1.dsc 8ab9aa23aabbec6a24c72e5951cb76ad978681a9 35489 coq-simple-io_1.11.0.orig.tar.gz 53686309a3411107936da346d8b2be97d80055ee 2676 coq-simple-io_1.11.0-1.debian.tar.xz 2ee21e447d31b21e6f2f40601e6617fd64d3a0d2 7327 coq-simple-io_1.11.0-1_amd64.buildinfo Checksums-Sha256: 9d478461f046761802730e485fafaaacb359c0ef60975f520374fce22c734389 2183 coq-simple-io_1.11.0-1.dsc d58ce82b72f1d5b5010bbe04ca1f68dc93d9afb4902aa59b0b2cc7a5abd4fb8f 35489 coq-simple-io_1.11.0.orig.tar.gz 71c68010951ba9e8c3d8b26a426febe9d02a98d43403314c5874998e06f876b2 2676 coq-simple-io_1.11.0-1.debian.tar.xz 350d69b4fc7493f655ad6dfd012592434a54c0fa3ef6957244a30df98c7e3c74 7327 coq-simple-io_1.11.0-1_amd64.buildinfo Files: 8751d7ba932e3429ddf9034c261c7e48 2183 ocaml optional coq-simple-io_1.11.0-1.dsc 149a38aa56a849082b3aeee8af7d1deb 35489 ocaml optional coq-simple-io_1.11.0.orig.tar.gz 5f195df296c507c8c07c6fa425f7e853 2676 ocaml optional coq-simple-io_1.11.0-1.debian.tar.xz fddb1e1206e61452dd50a332d6150844 7327 ocaml optional coq-simple-io_1.11.0-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmfZZO4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWAJEACIrapj/CQoh0QbKF9C4acO Odk6dJeVSd0MM1x0bx+7aJQQ4s7a/AD5jYIhFLTqUlClRMXO5wP8nct3IKnaD9DF QjmUpr9setnowFD5GBNSfoMatksroQ6wdZklSuaOgAzjz72/tY5rUPtu2mpbfeTy NI0iul2a0qXvPIXYhey4tFUo1eSTZ0pmeS4BcaGn8Hv5vdT9K7OK0pUG2NAOA7hr J64q4Kd4NGxDe+bGmw7nv2q5m2yvHF9x5XTgVwZYgD6mlddfDGWJNbM830CwlPfg zR5DVNEUnlzMOHrIYS09PWKSKm6h0iML8XvPkC0nes1gmMsyY4jD+4hMoq9hTk1b SEwuByxFzpETym7RmZaXTyTvugNc2/xb8HX8DV2O19V0LiBNjFAz4qTRJOW5rO68 /VQMZ8gkBNEGoGmc0eNLc4LGtnh+19u+wM4ol65zajvHYQww7azOCXrKz9qocMi+ H+UUBj4da3TzSXW3gVtjdzkXT/BtAY7K4ckXVrUP9R9+BIdhvziLX/YbN3ofHn7u i6Ovoq+6qBvQ0pYTL1uoWBtRqM0kTdBkE0uEtIcL8q/WPkP/qqpLR2MgtAdwR4fN hDkR+Z9Ga5oDI7+woNdXcvpjjDk4f3VaMacMqu5p7Xj0w7Lw3CWrVhMtZ8pVZ7/1 KqvOzDRvt0VYvwIbiiE1DA== =loLM -----END PGP SIGNATURE-----
Attachment:
pgpwuyS9vxtqG.pgp
Description: PGP signature