-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 30 Jul 2022 17:44:16 +0200 Source: coq-hierarchy-builder Architecture: source Version: 1.3.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1016303 Changes: coq-hierarchy-builder (1.3.0-1) unstable; urgency=medium . * New upstream release. * Add patch so upstream test suite passes with a more recent elpi (Closes: #1016303). Checksums-Sha1: c8835462ed8504ff8c6f0dd3197566081895484d 2229 coq-hierarchy-builder_1.3.0-1.dsc 45b9670ce4dc977d2af1edb7ccfc7b79f22bc217 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz de5067cd9c8afa4f2ef8aabf5c3ba2dee6f111b2 3348 coq-hierarchy-builder_1.3.0-1.debian.tar.xz 9c6a9ec21cd462da15fb97b9102ce09c02ff4047 7577 coq-hierarchy-builder_1.3.0-1_source.buildinfo Checksums-Sha256: 4683f36c36f30bcde1d0afeaee2b2dd70af46b78c60ed6959213c19631294d25 2229 coq-hierarchy-builder_1.3.0-1.dsc 8d4ca09a08793be19501ea2d9e82da1cd413feb9a15e5a6e0c183404b8145c76 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz a1eb2fa42297555e4215fcee73d1e6a808d851c7fce31e5a38dbdbe78aeb217c 3348 coq-hierarchy-builder_1.3.0-1.debian.tar.xz c5607680eb81f3a8d1ca4a20e3d5dee27ae3ec39cc42871788b7085c8c83d66c 7577 coq-hierarchy-builder_1.3.0-1_source.buildinfo Files: c2de8e1b4c4277ce07f4ff5f2ade862d 2229 ocaml optional coq-hierarchy-builder_1.3.0-1.dsc 42ef8d7c9f81a71b360214b2397fd52b 200135 ocaml optional coq-hierarchy-builder_1.3.0.orig.tar.gz b687348c4036880abc5a7c77b0c7f1ec 3348 ocaml optional coq-hierarchy-builder_1.3.0-1.debian.tar.xz d9647b1843f414bfc1695c7ca54e0f8a 7577 ocaml optional coq-hierarchy-builder_1.3.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLlUgcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRczcP/1L+ED8ZYKMHSGGjI/KmxatCavnWLXqE oLeeqgXPCh99pO1I+Epj/C1Di4y7vcDKT4zdoFe3EVyJ5YH5hfDqabFMWI9eQtzb pjVVFfpoI0llsNwcVXKeXY3ThHmIDr796HaiXM2snm8SAYq6E2MVJP+p0TNJ6UZ0 LM9dn3FWkiNiZmz7X4bZM2++o+7IOD/RjbvHUMx1R/nM5sUefdGjdf4TkCLvxlAs JS6ftkxApzgLamhFYes8UbjQ5Qz553CX7VgvyPmFPm1+m23pw3s2+A8iwKf9jHMd a1uZ8rJZ0wLPwesct8WYLzJHjAxRzcncgnXziL9sK3+vCGh+qSWaUx7cfx9wgCwa qpSoGxEM17oKT9izYwoOvkpNNnm489Z8k5LxoGmVgNTV/Zqyj/U3R6Xp9JXYmLLH daelYTsP1KvvURwRaa5ENZ1tdzTPPNHLFwkkowV2sKDWduX2pRo+GBJwoArPlFBU BagVVVO8I4lVNTxeJy3jUZnNt4d4BQ30DwW2ycw0uiNNDDzaEBccDHECL4RiqA4e SubkqzehmJMYdrcGZ/UUgZVwzAA8b0LheCHyxVOueExVKdZ6RkhwtlLWN/EPxJm2 Pbr66gdd6fcBbjvGoKCSbhuZrw6VICCWbuqeDlaC4827SjBdxc4hh5wLV9bRMBVi Fxgl8QZORUDZ =czfj -----END PGP SIGNATURE-----