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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-1
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
 f8cad8a6fd9e480f54436dce285c13b84b44ffd1 2764 coq-hierarchy-builder_1.7.0-1.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 67c6d596af8e7b0623b84450bc5bc09e7492e63bbbc407029c2b67f56d340757 2764 coq-hierarchy-builder_1.7.0-1.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 9959daf08e496cd5b6d8478514eed487 2764 coq-hierarchy-builder_1.7.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH0+cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR7SAP/2j4raM9i7TD9f/XI7BP280nZX+35bQo
Bs05ssZWaDwi6s8SozYlRitWJYzAeMHBHVNnC59BC1A2KqQj9wYeXglNIXf+XqAI
fYZxZnKht3rmVNmfaSRXLYCmQ+9NLZJxmLCBxyBXNhzYn/2q+ECuoLDJXOQiRsEy
plk12cXXCe2slZ+b2v8CRyVNhl7oyMCGYuYC8v2KMwerMopp6EtD6Y7SpEIhBTit
IV8nSBHU2+UVLmiEr1DaFycFaXtNVoSn+vEWrM5d3RXpRAYISx/rKhPTeeqZoMAb
Km06fxoo+7bJDy2e89uKMz7d2kjV8a88eBgdLsdRWyLFll2L1qR169IY+wcIHN6F
AySnJZ+L/3/Bwtuq/qkOJBoyYd3CYHCWISLuHAGQTuPlQfUzKYdRDB+XzY7chSpX
rHyHgkw92lsLErWCNM4fPx1cKm3wKF4a8du7PW1M3DlIQRWCSoNmmLC2aJREZazK
xr9cgkw/sLBgyxVwk2nfzFALzG+k07WYVpAbF4R8zMeQpwqfN1keacSoawQgkboW
51PxpsugNAedpmPfLvC4SXluGePVpe63Ubzy0p7RgnUW7DkkJ3zgMROIQ50SNT/I
RbQgq3gxhNCYDasIVfePAprRop/SSsdO+jKw5V+p5VfRvt3YEDWEFq51vJkVNVVU
oCEz9S2B0ndP
=BcdR
-----END PGP SIGNATURE-----