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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build12
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
 921531ca7b36778e87e735cf1c848e0889751ab9 3132 coq-hierarchy-builder_1.8.1-1build12.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 78131a00fdfe93c1de86f3d2ad5659d1521578c9728d57c308593da3992f0da0 3132 coq-hierarchy-builder_1.8.1-1build12.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 1468029b8704e92fa08142ede0b057d1 3132 coq-hierarchy-builder_1.8.1-1build12.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5L1kACgkQ808JdE6f
Xdn2GQ/+JbydvN0zqJByir1G0qVJ82BPF9jQa5GOl2xeT4Vx8LSVB1PxwQ93Naba
LqcCGVwrItHXV6pRIVjHt8He85u2GuCk8WZzV6TlnAhXjgw42/G6jiV/vUcRTbPg
MNPXNrsxypv560Z8UlZhd2n72SRt2xe06c6hAE/U3LP9gbvG6qWRWONxvzZnWMfI
+bnYu8ZeSKSNdiZOlotQxnUnfQ6Y4espn6gKhIjSygiim8cyhIRQJchXITDnzrhd
ivmyLFUZR8gbiODh9BqmLZL/ImPatQ+KfUpx4ney59TOubO0UaxPxpY3CPKH0+rD
4H9lAW5SNNzghRdHkzcOzjXARglS6Uhsh1zi5DdqfZ80SWRIXWSbIf6NJc9n9tI9
MtYsle/OtbtpVn8cs3PtYy+SfijHsrE7rQkC3+AO8EVxfmhs8iPN6UXBr8nFwp3n
LCtP7+kbq/sI7+QbefxtlaHS6hMfMY7mS+iDIqqwQbv1en3xrdg/lmRg4olhtaL8
OzzV4Lqv5P0NRKOt6AyLL6qPr7PSnKhPuuKiopnMsMEuq/5FqndLhFi20hDTrkZg
aE4VD8iN51yuYTlKcnSxFSZd8c1vKnDOE6fF6PW7Y8bSq0vTcwX1Fcmyf8QCc83f
Rk3AarHnyqSQ1B+YQvrlah9Xw4BaAFnakYFWvRiLZB8rdfx9J+k=
=KqSG
-----END PGP SIGNATURE-----