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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build7
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
 20203f7e1dff501924418736075b2b30850b3708 3080 coq-hierarchy-builder_1.8.1-1build7.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 b049f7c93c10ca045856b9e6fce6a4a8ed19ffe8652818b8db5d0df1ef552eef 3080 coq-hierarchy-builder_1.8.1-1build7.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 805dfefb182582678ab8861b22a85af3 3080 coq-hierarchy-builder_1.8.1-1build7.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QssACgkQ808JdE6f
XdlmyhAA3EGioDxL09D/oGnjGbCEdNKSXWy57TjU3+Bm/8f8+h/VYI9MO34/1Ub4
tjpcJPPTCcubPRKc+ddsDdP9EbEhLbDsATSEt71dV+ma/9ugT+XjnSBHK+02y+v4
peA8ZZeSJsR3Qr2nvW9PyKmZtgdiTpLbrA4dQieJwgnD5ahUnhRLRwg2G/B9ke11
4HYJpl+TPbPw+pvnxOjyAQB63yh/CZCeReziOqZYU1YltfLpgvE1hyNESZ+QUD8R
6KsDIGsEKtJjcq0l0OO7OG2Bz5XnLy6vmzKWge6ZsQDZshKDb/ZkEp4bX0+W84YS
eH7eJR1+TModv2ZY7it1W+5bXLZuxXAKOqzTOjXkbbxtAK4e34NMXM9S2NNFWvp/
t+R1DWbYHilXjEBD77OMIr5x8yJZDHDayCf8jVsY+ukPiMK8dKpfoPM8V0nqhgZb
PplyFDufKmUT/mj4sNLsqMto2gbKc4qZDfJorOudqEIKYnJZXY4CM0f5So/Q9PsB
5xMDNLA90rmUo2EzsOq03WB5tJTv5nXuiBABK++iQOUfocjoaqCB9DPwD5pV2f7q
tQ4cUok16ZdBklfc2U6o3CCC9qQbw8OLlQYmpRu8NdBvzTRqXIosiwlFFpzvYu6R
3RiUjrXEgOt7kdBqq3LS8g6IlYhf6bH5Wsf0HXkk5ioBtI1RItU=
=xKFS
-----END PGP SIGNATURE-----