-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 30 Oct 2025 08:15:25 +0100 Source: coq-extructures Binary: libcoq-extructures Architecture: source amd64 Version: 0.5.0-2 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-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. Checksums-Sha1: fac8e352881d51e87097812e58c80e0f0d09b19e 2178 coq-extructures_0.5.0-2.dsc a3b9785a244e0ac3ab92aebda0e81cd2c218aa90 2468 coq-extructures_0.5.0-2.debian.tar.xz 97a28456b42d261547a0a3448846d0c050529ae6 7468 coq-extructures_0.5.0-2_amd64.buildinfo 899d6163e9c3409f15c194dec32b5660ea2d25b0 779976 libcoq-extructures_0.5.0-2_amd64.deb Checksums-Sha256: c78563aa584785566800d21746b4b2019084a40ff7fd6dc9e64d2fb9c44db1b4 2178 coq-extructures_0.5.0-2.dsc d7dc6559baacfdfb4be4a289b960d96e39dd9bb3afc3550b9b1cb51b197038a5 2468 coq-extructures_0.5.0-2.debian.tar.xz 3e14b06a8b2c7dd87e5e2beda7b9a80b2d58239195a0c3b4cd91e9f4188e5282 7468 coq-extructures_0.5.0-2_amd64.buildinfo 7df38ea8527e964f8b39e8215e58228823b69a7cd2de006f67b045454ebf9491 779976 libcoq-extructures_0.5.0-2_amd64.deb Files: 0a8f3bdb4ff9e11cbb1f81abfdda8118 2178 ocaml optional coq-extructures_0.5.0-2.dsc b097396cac8d2e967171d70e413f4faf 2468 ocaml optional coq-extructures_0.5.0-2.debian.tar.xz d29ac4120ce53b70c91505dc0cf0bb9e 7468 ocaml optional coq-extructures_0.5.0-2_amd64.buildinfo d5294ef2d1793ab1f3fe755432870e9f 779976 ocaml optional libcoq-extructures_0.5.0-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDEW8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTEiEACCz5DwqC4OJXm8ju7OMjGh i7ymF5EEofY6GOu4uLDhipUQZDaqX7nCMAT5/C9hzQK2M8PbU2xrdHQHqEfVm7PE 4BuI/G/ur5SqGosIgVJtmMOTHaLIfGUxgs7uozKUF4VzxraOPow98N5bJzQ+i281 lSjU/uyS//N0TR0Etg/y7AUWDIk3cV1ja2U0c/1tPT4v0BSAZqwrXBLlHffADTUM D5MARzu7jtRyJ0co1TQNHXxeo+DZEZnfOPAc1bQffejwaUcPcWIH0dJPKF2wtjUd IFYLoXVcZw9ygcW8P8uBDoRnbL1ycYu5/EiO6frTqh7YKwbpbpW5LzjMK9Fk2Fg/ xY8BT1lA6+o+g29FNcaW+px76uQcAC7HCt4D+4It88YKkHmVXePvm/JTUltf5ZKs mJUb6B5a4W3CHirS69fFzpmG+Ei8uj8Ec4XaMXbwFgDfj7wQfvzSka3f4RxwZI1t EM7CQlO/epMWGgFA1EvRmhzWQmtOBJwUDcwqKiQa4Vkw2TADEvriM7X7af8ece9v q+uzbNLWvoXYgH5cL9MkIgBEHt3uf4c3Lle8wo/7Pme9Sz1kF0wuaT9mn+lCvBpQ 2+KfCEHn6u3zY6cPwTzbbuCEXhb10B57K8M0G7gzmmYU1OaFkxYT9uKtG6WjPvln 7K4vrZLWnf+u0hQfRk+PVw== =gIue -----END PGP SIGNATURE-----
