-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 26 Jul 2023 09:12:38 +0200 Source: coq-hierarchy-builder Architecture: source Version: 1.4.0-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1042022 Changes: coq-hierarchy-builder (1.4.0-6) unstable; urgency=medium . * Add patch to work with recent elpi (Closes: #1042022). Checksums-Sha1: 9f443721010424aee3f6ded595884e8f994dc458 2225 coq-hierarchy-builder_1.4.0-6.dsc db9746390908a852d0dff676b91e6e1a954a1912 5616 coq-hierarchy-builder_1.4.0-6.debian.tar.xz 5d874f77e887d33155edae7f8ab31dd7a0755456 8173 coq-hierarchy-builder_1.4.0-6_source.buildinfo Checksums-Sha256: d9bea7b89bf30e2eec47d6bc5105ebf706425288a21ab3680bc83bb6e1f7131d 2225 coq-hierarchy-builder_1.4.0-6.dsc 3fa5efbeafb78802ac649cb1f7ae93bdd1b13c38fcdb8a1736e8cc8de66e2232 5616 coq-hierarchy-builder_1.4.0-6.debian.tar.xz b6e30139d2a7b7a9b2c8c00410239b62dfea0f2f400e3e5ae9e92c4349b8df54 8173 coq-hierarchy-builder_1.4.0-6_source.buildinfo Files: d39d61e9244b7488fb3f562464628d47 2225 ocaml optional coq-hierarchy-builder_1.4.0-6.dsc 87647711a15046f5fb97a4c0692adeed 5616 ocaml optional coq-hierarchy-builder_1.4.0-6.debian.tar.xz f0f6a4c5b8fe9ffd5435dd11821173aa 8173 ocaml optional coq-hierarchy-builder_1.4.0-6_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTAx44SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRoQIP/2S6r8lAc8l+uuIb9i/ULX+Ptp5Y2rXi hleqY+z6yihmv5JPtopi6g5Zxn03H21CvgfWIjE2hiFpRuBsuNS/hCgmpsfaHC01 ITJz0MIclYj9acZvT/sB5FTiN24Q/4h3lcOQS4bHMXSWRZ1IA1HUsFvy9QiUyYIG Or9GHX3fVjUJM3vfdzbr+h85KKppOzZ92DBO8dOvDOn5qWg06mMDPPmLSQwDxCSF 3bvEjToBHdjBb02PDIIr2xBTB28ui2kuC8L0PG4TzsquksLApN3lJ/l1Ig9xb0xk mZcVXckAGwfMex3pKjCPiSMFdzfkbKisnAROs+MHSzHhcC4QFAk3IXw9gx7wK1s0 L8/IhEMfAOUQ1ajT2uzfruJWxSmterMLIeX4PUoB7x+N3FeSDcbY10ZlpYJ6zZDE FVKiZoEq6yooAf/ToAWkgV0pvZ3NZ8533cWamg8/0O7zQrrao7dI4xZd5MxRNHVJ FBQ3oeTJvcwWTxCIihWp4Z1z5ky98Wdj1nB10y5raRvIGjMjLGm/2fBuXHNsvINX 0VOxEFYmeqWxegePOC6Lh3rjvzSBLJ/l33ByOSZ5yinMoyBiwl2ntBeEW89bDZ76 aemxnwn0nPsoO0An+aGBZF7JDFTT3BZ/mD3wDx43RSGlpfY5lzxhHVa8nP5OCKra jcPH88eyLe0n =TR1+ -----END PGP SIGNATURE-----
