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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.10.3-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.7.4
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 (>= 9), 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:
 699eb25b1a43945a696f9fc9492001047ae07c70 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 e725bd7b3a03eae8e543124c520ccf0533b1d5e3 3036 coq-hierarchy-builder_1.10.3-1.debian.tar.xz
Checksums-Sha256:
 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 a67f2fbd753b6add2b5eda150962d35e16f4ca8615f1c2a5b6c0660e5daa770c 3036 coq-hierarchy-builder_1.10.3-1.debian.tar.xz
Files:
 d34079e82bea60c8ec3b1638629cbc88 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 92a10924ffeebe941b3903bc7ce6e9e1 3036 coq-hierarchy-builder_1.10.3-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRF4EZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd60D/9ROKiOwJCbhfvezZt/1syp
RvmbDAYbaicNNNZzoT6S0+FwAb7lHJaY55jP3XIkoLZy46v2FeDT1RHKYJrC488n
ZXbdiTunWVF0OiPVkSG4uxgp06FLEm70//wymUjZNeS5FDN4wUPT1Zqc8H1U9Q6Y
1Whqn2kF657VrpDa41vErgQ+ngKiHE2/+t6zsfb+mHfLqJyp5fs5+IOBE+GnF3mS
/EeuPKh4gb6D5A3Zh76Ykr7tXzZV1ZfDb09c4qSojD4z+vTNu4wzouI/8erI2+e1
ZrS7O3AuGjroG/bFrdU7kxFOYP3zW3P+esWlhloSt9wBlFln1Q00UqSg+tg3NCPG
34qpMWuG79DLoY323uaOKRF3PiNsxyAAiKP9F7oXgF3UGFF4AzoLO2vBhbp6Hibl
JIXrcRZoU1Sk18Ya4zlj0APAUeKhBcNas7CPD5GuP5WomcvgVvywyegZeNhls/Z8
Xq9t8i7tLSArbZZhOrJeeZAYaR8fLlJ9qcmfrhYBqWLjV2cuikDgXNBm90aY1Qei
nB15ffo0Ut+lPY4SGHa21JkW+aPQ2EeQKdUsdzrykmmPJMGpVlMdT4whDu2JrFfO
BaOrO9wZshMBVibOX5AsVC9fLpGCLdS2ALJmWUr/v8Cj4ULYBNliWcImZkSy8NBQ
k9vbbJznXzI+wp+GFYLxXg==
=ztPc
-----END PGP SIGNATURE-----