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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build14
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.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-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff
Package-List:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 1641ef88f49cfa92943942109634bfc5a46c7825 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 e5f3f85f7601ae1143c5f6ebd0ff1059e897108c 3200 coq-hierarchy-builder_1.8.1-1build14.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 fbd942ec44750e30ed9be38b2a34c26b2f016e73398aa7782e02597e9f63abc3 3200 coq-hierarchy-builder_1.8.1-1build14.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 f78348d279d689329ddae07253d96f8f 3200 coq-hierarchy-builder_1.8.1-1build14.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmoS9YACgkQWWH9vpxh
mAkGFxAAiuZ94IalqaZMABL2vH34OGE3b6GemKwPdbVcJ9oOEJw3Q7RHEbDIP9Vr
yFxFwC6NPwbCJLI5oZlNCKqQjJPLxG2Ql17liUVskZgLghAJooAJ85Y0+uodF0Nu
ord1cqN9c0BM4dlezxKCX73MSGPjLOn+a4HfTuVz7a8uOFdlCwYnxZ8V6rSmxK6T
FA0AFzrmNJDQ2qMFXwELw0lixbZZcf49ojjwopWUTs/0TvYfsEBbyl2OFzilUT12
KcnxmquFv9qhdN7rU+ti2ZCKf17oREHqsSIQ8Xdhjd1/SYkHwH0vSgYDlqGdQP+D
7JQ2vAuwNWOQ1GFjabcomUShxq7BdvgbncbSnLY886xWuJnDrSRWN0cvT8i1+9r9
DQFQXBWGf0imuIJnVUZRhJ31m+hyYza08/gfNmgcqWJtzMsAhWCrfBK0DmZ3+Tsn
pLzAA7uB3G7KeBqoSDqisg5/Fh1Y84Taxd3yA05xShzhxgubBbGp79t4dZzv+dyq
cad6SogB8f5X8mJC4jexV4tQ5y4/nY6qEWiFJ7O3DiZdlKL+rrlcaLyG5Xp2N169
mnPvCQ+J8CO2IgV+wm/PLUqvKZBR1pxevqZkzZ8s1ViwnRm1H9QZ+6N4rIN65B8c
O8XdmC8HHu5hllNCqKNxuq4S6RsFcbyrbXDFi2iwBydMZMQcaIA=
=DlFf
-----END PGP SIGNATURE-----