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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build8
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
 9fc08014f560ec2c04a11f437f82753c79ce2fd0 3092 coq-hierarchy-builder_1.8.1-1build8.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 c5fddf6292d3ced003cb09c86f8eb708a0d9cf598312af1dd286d22dd9ca0381 3092 coq-hierarchy-builder_1.8.1-1build8.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 eb8ccc68293c0b0ca1178865aeb1f560 3092 coq-hierarchy-builder_1.8.1-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj7thIACgkQ808JdE6f
XdnJJxAAg6C+2mw6zXU2nFptacHvl6+qhj9Itc7Q7yoRxRLeeIRXkjBF7kz/U0Wa
+JVN2p+w3ZZpm3gLgtzNdRR8Uh2OsNFGIV6BIY3PuM+hqIJVrYuxONk+6eAZgTTP
u34Y7C6Slk+IDyNoBWS54jLTOFOtvT73Vvt4HJiLzzojmS4ih+Olfrl9IIHs2y+c
yQhgMa/5f27XIxlrlGLN/4RoOyTk3RK/ftSGH75+q7jBZm9fTh6yqmIuTn4ZOxxY
whyNo1tro0EJZg0CwDmM/sSsbVF1HnWTlGqdOzW1SfPKQmKGnguc/4prVSoP+ZIW
q1bYKTBANGPiHpfKtKibkuv9Izs0nPfFyHJkhNRakhm5xh6hW2Vsovdc25HCn3q2
Aler9y4q5TYi2SpieujhWCApQc4HH4A9bCpX16j/yZzb26NoNl0s0Slihe9ynTeM
HsILzGsDRFXp1Yb6R/3ea+tdk52H2M3wMvQQ1M92ifq8K0LfIEkrQ2Ufb41aXYtI
9tw4bdQbjfhrYZ4ioSuqAIVEUUUR4gCvj/xicdWZfam4/L/wJBoOxIK7gMtIP0iK
N3lf2tyl2UHtQD3pdXGSr8VgLv4SMO6btl5aA4/wODqP8dptc/ionUcDzynwttGE
oPGjrdfhtUM9AWmB7zrEifS021EXbpD6VEzOBrzHzFpRYlwozCs=
=nBA7
-----END PGP SIGNATURE-----