-----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.2.1-4
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.0
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-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev
Package-List:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 045f0a087b3ca5de100a546056e9ec14faf3b09c 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 c748ab7b175c666fc6408a9c0aa893a17912567e 2800 coq-hierarchy-builder_1.2.1-4.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 379cb25691a9150597a9f398a19783a46b3ecc0635ce68980460e24f3b588b48 2800 coq-hierarchy-builder_1.2.1-4.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 123799891b38a164e260dd41b8356071 2800 coq-hierarchy-builder_1.2.1-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJWxPoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJREP/0wjNyZG6mzDVxtjL29T3iIXO1TZP5rY
GZghvAn68COvZH3j0Nfec8+f3MNGWljPrS6EKGUlA3DZiW+WNW7F23tnYqiAo+UC
L4qqFneA7J6AQso5c79iYZG+EjbzAOVzFqUd9Egs5dBSQkkc2OYSlUmYKSUyP9ga
4lJ5zTFZip+DQ+E6NTYT0FeNYI5MQCA2jfi7BeN0vy//Pq86+C3ndNh50mElY8d9
V9AjuKpd69i7r60LPID8qAiRZSZdwXZirT/32uCBJSRT8FvyM/TYEOLANYnwJfQF
029mSs0R8955xN4QtkXIzGX7xmsh6LN83W0aCkENLluKbVh6YJbaOgIRb0lXUOJW
NTZjjGiLt4cTBT4OcT9C75VOzqDROk3fICwgrm5HBsIC0wRURkD3AHdgtbqxoB+W
YYHiu565jj//IQ/QcIFP0AKfnWTc7xCz6NqQ7eBId2vZy4mTMjo/GUpEj62LBR8X
7dVkG7BTcFs8bd6n65uNMbL4KCtu2h+uVHTdJ9eE/LbrxuKdmcNkyG/YqxwRK3MV
DpIILurv+3z32mt18c777YabrLx+X+tg/x/BoqYjoPFL85+13JWymaibupbeVrTD
JH3EavlT8RfZHj9T0U6ZS8qQbpQcFBZjZilBWVTg2ObFf6rflVXXF9v9ivPhmwlk
MT6NeMwIvsds
=Ks34
-----END PGP SIGNATURE-----