-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.4.0-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/hierarchy-builder
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-hierarchy-builder.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff
Package-List:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 0a416ce6bd3be7af9bc71acab905d9fa6882e84e 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 c68077e621a3cb7a341f8f032d576d299d525647 3132 coq-hierarchy-builder_1.4.0-2.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 5fba885d6160c4fa136eb7f9344a1e50c54a4f0db799495202053fbb2139b3da 3132 coq-hierarchy-builder_1.4.0-2.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 4de27c5d3fc546e35ce00bff9292fdfa 3132 coq-hierarchy-builder_1.4.0-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmNY2coSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRztEP/RydW8HZK/2bWRq1Td+ifSIQHN8LEqkR
Pk9pW4C4FJ9tfwgVGga0Q88xQYztR7USAP9FCMXxbbu2nuG3h0kVlF9mUeF7cG4z
8akVEZZAV0xdvtZPvZ1ChLQPx/mU3CP1DWZvIRHieTt9q+99ZW4eepwBkfIvq0sD
jK4vIR/1jm/LX//sNY0JcJQ2K75zAgRoXPSFarPwxzNbiLI4DUmXGh6ehFLiBNVA
qzCJg9XPYLuvujXY3j5YuEZGQecc2ZXjpBxlP7HYqgrQDpeSwTbakNVh1IrSU/Lw
/p+i+ogK1hzg54T5zeAfFXdP7kMQMnaccSKIzuFjTI/gr97CmZA0tXYD0cE4Y9KS
24Ocu7h+KgZSLEGz/hN1AvBVssnfU2Q5MPAi7roLD8wUP42xsZ7o3bjS2D+0vnQ2
fry8/VZvDyrNa/YmQbfHN+zEP3hlzTBTPblbFyT8lj+SoFz6apz176djYGfiJyIC
g66q5WhGWhp4LT1sLAr17zPVGs2s4K2X59nMwRPOMcR63qq7WSpuI6dvwT1tPBir
L30rTFyt3ZAOMZ4TlpCIgXlmcv77s7hk5bLWNSXK7h+xUvPMCdRYzg5N1ab5az9M
eK/HSWrbF9ikbC6g6hxGQxo4ETSw1SnAeBSpIm+RBoSV8A9IapzIPky634NNpkHe
/1zY/u7Ko07E
=v5WC
-----END PGP SIGNATURE-----