-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 13 Jun 2023 07:06:07 +0200 Source: coq-hierarchy-builder Architecture: source Version: 1.4.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-hierarchy-builder (1.4.0-3) unstable; urgency=medium . * Add patch to work with Coq 8.17. * Bump standards-version to 4.6.2. Checksums-Sha1: 2f9b097f329d2257aef8a291f8f333b09f4edd05 2225 coq-hierarchy-builder_1.4.0-3.dsc 5c1a17ad656d5eece26dc5e51d480208e2da7c5b 3720 coq-hierarchy-builder_1.4.0-3.debian.tar.xz 5804814cfa00aa9fc4ab028d95ffc73c62c5d856 7911 coq-hierarchy-builder_1.4.0-3_source.buildinfo Checksums-Sha256: de2e100b4a1c5fd1dfefa3e8174b9d7e69b2cca1c312b7ac2ae723ea9985e78e 2225 coq-hierarchy-builder_1.4.0-3.dsc 57547078bb802143447da7dc1dd241c95f82ea7e9ae2fc8078e4afe374261c74 3720 coq-hierarchy-builder_1.4.0-3.debian.tar.xz e2fd8ad8cab7541c9ee679b6e983edaad28b857daf85b1e8ed6a646ca98fd6af 7911 coq-hierarchy-builder_1.4.0-3_source.buildinfo Files: 8d7355ef6ad2fe260e2c2fcf3e937e54 2225 ocaml optional coq-hierarchy-builder_1.4.0-3.dsc 192b0f95fb85555be6f0ab61a29ff359 3720 ocaml optional coq-hierarchy-builder_1.4.0-3.debian.tar.xz 150b57a90a369c13d60c1cd6c897d653 7911 ocaml optional coq-hierarchy-builder_1.4.0-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+XkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRUQ4P/33Upcb8kAFaNBuQjHRTwmX+kZMJOJCK IaQzcW+sFXyLH914qRH4byXklA6bh2oZqt147r/+2CbKPm4vXzX66JpB/Em5cU6W awwsOYwzMWNacsB5tiUMfo9KStOWYCxZDHcmm86YFEk9x44M0hD9p2TE33ZW9jKY k2Y9btyqZZTMAFajF116JiEwyCfuVAEdLfMpO8WgZtlTVkWNMx/uQkEwPftXXeB1 1ibN/B47bimGlQK6soy1lcVKI7scgNvZpigZKhlgtPy/+OZtM/l+w5SiYCmk8Z0p wy3dZdil8ezLlj/eoZ6j19ndl7AUjuhHbicr2fn3KhCGldO6IHZqyxzeA3Pq6qR6 +QdUEFCDm/0ikbaY8iokedYzPG2YO7GvNJV5cEhLOwMzQsl1i0NXieSyXE6wrBqt mvkqj7eM+18DyEJBGwwrncDD0q24V/1v04FfNIOXAjtgzDel41k1IT9ItHoR4xDm PxswfCE4MKPvt/F3MH3Lg/q6CTcZNBaWnX/5oQpA0MmQwIFSLYbA5aZYnCZUtKBi vQMYYe9UWHeYR8sSqnv8EyVdwNGJoK6BTjGX2XNHTnCZJY9Qob2EA5gaarLfCuOE PEQmxwhRPiSUymrMakclmGraK0P853n0j2wwMgIRRzrpX66vvwT/lxseqz6W7nSd NnCodYQaKmAb =b0gL -----END PGP SIGNATURE-----
