-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 20:48:05 +0100 Source: coq-extructures Binary: libcoq-extructures Architecture: source amd64 Version: 0.5.0-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-extructures - data structures with extensional reasoning for Coq Changes: coq-extructures (0.5.0-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 0fdc0116e3f06613dc7b7270d57a80b28a5ab81c 2185 coq-extructures_0.5.0-3.dsc 02a83a7096579f1b703fb981b79b43e7a63ce836 2516 coq-extructures_0.5.0-3.debian.tar.xz d2dfd19807f2421e07c88db0bdebc4ca36b9c6ae 7465 coq-extructures_0.5.0-3_amd64.buildinfo 61a11eb5f9b097a0ec88397ad6ece611f61037e5 957572 libcoq-extructures_0.5.0-3_amd64.deb Checksums-Sha256: 90dd1c40535ed107c9fdc604715bdf26ed50ff4146fb6d0f033b64a23319c62d 2185 coq-extructures_0.5.0-3.dsc c3414ed6aa3616bbece4e00a5688fd5d04faf04950ca9e49a068d92f5174a6aa 2516 coq-extructures_0.5.0-3.debian.tar.xz 2ed2d484132d570155e0f02e61a30fb9d296a67ef84a374488355778062be74e 7465 coq-extructures_0.5.0-3_amd64.buildinfo 2c95a254b5206982f135f746ed15be22f50e9eb997c6f43e7b853332b1ea7a5f 957572 libcoq-extructures_0.5.0-3_amd64.deb Files: 4415b299937b5c14e5348f7f360f6637 2185 ocaml optional coq-extructures_0.5.0-3.dsc 8a0ae53bba9803d1f0e2155967a91191 2516 ocaml optional coq-extructures_0.5.0-3.debian.tar.xz d61e96ef66ce353d754152519b0429c3 7465 ocaml optional coq-extructures_0.5.0-3_amd64.buildinfo 5948c3db1264727fa630fb5cf0d7969f 957572 ocaml optional libcoq-extructures_0.5.0-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTk8sZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYbzD/4x+vTO7cexyuBSnQzyURtA GFR0sI6i309Yh6d9qOz59g6DMRaxFHl5X6xORKAaJI6ucDEvWD+mE/8MTq6zETvX XHNLcpl88QL26L4EhUBpFQGtYOFNSau1KZ4kWDJLTvb395UuT6c/zZJhOOGZga/X ho3jbBPq2eEqjN5ynRavT/3fg8UtSkDEbVMj6A3m9mEHx+PJPD7w0IBS6SHmwDwd u4B7QTUHzwbAsFhzaA0rjtia+ya+lw90Xzn5c5q6VLKORRIdiZ544HWImSH9crxo 7VmlS4uaN9GOmrBHX+Hc/bMSpmBX2zD8mtSz/tAYt4Xki/XJDbHZmg5cJ1rPalxv MDqGjew15aWqUvnSA8ksX3u4NthMVU95toHD/MTtPXup2aQNy1mWiigG4KXT35Va miiwHHPvDUKYlz83iH/Ozvn6cvahEVJn2Q3qfz7KfUItnIiHFFYFjbttB+JJz6e9 Fac+r88DDK5r6qewwCwyEEv2Iz0BeIsEFLyWYzwZqip2dI6K2xV7b+ut0RfX4KDS Gjx3Vh0tgkd1gseygBC84ta1xNjqg9S8Gs1id6J/s72ke4gsVJDQyAtRWEz+fl0J xd06oqwZ7LOzlxWx57o94dyO3TL7eHHZO/wG/ihm5lTTMsv2B6WILjnD8lwJ7zIR uo/ii8HQjyxjCY7L78cYFg== =jELo -----END PGP SIGNATURE-----
