Accepted coq-simple-io 1.11.0-1 (source) into unstable

-----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-----