-----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-10
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-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev, wdiff
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
 2e19c02a5c4513f2a3f50cf42a12f4c4f2175453 3772 coq-hierarchy-builder_1.2.1-10.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 4e5eb281d27be2cec0823ae1a3eebf1e952ed1e0f19ea04b018c86feea81750c 3772 coq-hierarchy-builder_1.2.1-10.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 b39c853d97b3e9d071ef0a541b469aaa 3772 coq-hierarchy-builder_1.2.1-10.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYRLgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRS7kP/2gduo3QuW9xry1IBlQ5J0uhArCc4YoY
1h0ni2gog5vlnnBlUjG/+6wtiZ7P4DEEfLe0x4XLRxLiSliBF8ZkUCfCVD6dS105
nprmeEUldyNGFR7edt078sv7L9UAuAGRg6YRY+dgvSaiKT9MwZb7Cy5rJKPKlWWk
c5DXEvSB4YK6RxBhSaPOgyXvjXT2YGNoGNS5c8JOdI+EYuu8i68iimYG5DJYR4lo
fNXYVwmtLdo/ahA3r8/VQkpPtERPyrWdsIpDzAJxoqkm/3wN9QlYC5ZqbH+Z12ZB
gDx4EQpcILDloiQjZjzl836roH9AfouaYFyDfFx+m8PM2Blqvk9pV3cBTW3bLa8s
CrZsCQbKmZYxHcZnv98BdEDzqe2GpBbHDeg075BcNg5iXSlrs+qFRwlEjUhH4Pyt
tX63iiUycMPYHrhjJsPwEArZROaarcnZSWiU91HfI5qqDQ5rT0IrtVmwIA/oudzO
z9XttZ51G+30+IrjzUR2kmwChSMT5dwxdpnioG+t8iPkJ49/SQxmy+nN6zeagZ9G
lGK1xNQVwG0Sbx2DfyI2mZFD38ZGNQPef3xXndmFHkpu2uePR+amiIDwv9oGCpn3
urg9s2qZKagMudNK+V/fZ0/B6DAThr7+BXZS2U1P8JWy9TQr5MXqkAR0SoRTGxev
tKPx6g8dNxgn
=H5cL
-----END PGP SIGNATURE-----