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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-2build9
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.2
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:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 4725abac8eadd73b813aac6accdac884eec28503 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 d63e1860b4e81e51c0182356d929e95bef801ff4 3088 coq-hierarchy-builder_1.7.0-2build9.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 04ae705b0c607dbff02ddd1148912710a7d0b606fb0bbb672bf92b0eb8d6dc44 3088 coq-hierarchy-builder_1.7.0-2build9.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 fd51f558ac54ba01847efa56e56eed2f 3088 coq-hierarchy-builder_1.7.0-2build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmc+2+wACgkQLIPbyOm9
DjckmQ/+Ocbc6hZsqCjGOD1S/GQE98jSwPySYuNhIldPaLYUDhU8AfqWRz0PiF1F
24HOKlnRyaWrLMqW1q6WjFnA1spMA6knkjelvixAIha9SS4KLl1GOiN1k0+rB6Y5
GSU/oHSNEbd0Va3X1+KTH0qn9vGQK5RVzhoK6Nlay1a3Aj6/NYwvP9BPQp7IzlMV
uL2D9WAdtSMKU9ErDVUWdHXSKZp9wHqbLRqpUQc9rzmIWk0m3sw7N5Kyn/cPBLhl
roIn06OKl8YgOeISCZgL7vkioFgSh6JiwNZQyJ+SSl1Os6bunJnRkD51MCZFATIK
vbr7C9pT61QesRqAiIivwtG4O7AEK2fht59xlZRDZ03bhDn80ZdrOY5Yc/0dcI0Q
m/QcZMfp43WA2jL4wWP9xnS2lj7dFYMtp3LKkUB9TY4ym3NNvyGKxymTPtgt6V5A
1Pgo1xH4cMTzrmE7+01PkMH8fgK6O1Nkgnb6/tMiwb6oOky3eAcA4w2ni9XVZguX
iZ+N+YV8OMHVMcroSFLTp5eAWoI4SwODieb+v5GMuEWx3Tg+qOvlRENmfpGYtYQo
pGjjp4glDNIyHlDHuOeTEwZB2E3sEaakMJH4fJD1+ADVARzB5KNWLdhd9+Ax/G+Q
szO8MhbhvQlvM++D9IU1SVa5r+R5a+ZE0024riWi/o85bPZW/yc=
=2lZq
-----END PGP SIGNATURE-----