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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build15
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
 aa2c695e9bc6cc6e61fc2ba3555e43b44987bfbf 3220 coq-hierarchy-builder_1.8.1-1build15.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 babc6e1b99a31a22fff84e6caeae917f039b56155d007ab12fb0e9089b3deba5 3220 coq-hierarchy-builder_1.8.1-1build15.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 757a1f08b12d8b273be74600776e7e32 3220 coq-hierarchy-builder_1.8.1-1build15.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpOYmgACgkQ808JdE6f
XdlPhw//SZssByJiZovo+wSVdWmGVdH8kEtqE11CHG6V19LhrzYt8My3xvA+O/xe
EJ8E4wMaiUWJJShdVektvG2WypEttX0yWt+VcuWKsBzArzRiJVRwJOT2GKlPPdvg
XOERLb2klZ+0oe442jj6wS0RDkXg0P3mklkgmagZeeljYVu3Z85VleNmaahhwytp
HofrAA5RuFHpQowiAedPTs26WVHICLA1NlStXBdQ0Nf2kdjKJycZXI0/v1MOqAUy
Ds0W3gLxRcnMmfyiQaujCzqDAiRJxLrqq3Ct8MTy1UATgYLco/6SYIr5Q/Ae7UbU
zA7FzaJ/MoaVI+3RBk3B6WoJCWFt+TUmi/8lB4mNu+QlDs+i8yRvhLuuo2oZAUFw
Tro0hJn/ICqx248cCrRb0+pXtimlL2N9aMuKHCTHAdfCpBlVNDQ43u9d8ZaHWrWX
YZ3lheyVjs50mNjrCce2l7//5QRPI70cyE2x2vSFL3UXVCpswr8mZc7ae+4nHBR1
mzEdrLrEtTE+ADyHvXk1A33ebhzDFydbeuibyl+dPPxVqyjuRvc10ESMzlrN2pR7
+G1sYtjzL2BAbz1Pu6/ufws5qBSQWdAh7RjBoQsk6I5MIHA6k5+ESUB4ngHcEI6F
Uk3V9pNCApVsJpLbw6gvJ7f1z/JJJmAP5DZ3qARns2C8WODBGI4=
=KBS3
-----END PGP SIGNATURE-----