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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build6
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
 89909f03fd66f0be5da9051395ac307caffe1a8c 3064 coq-hierarchy-builder_1.8.1-1build6.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 6d55516ce11122e8ca54b9316639070e9869f0d6cc12f980d032ccb06299599d 3064 coq-hierarchy-builder_1.8.1-1build6.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 08dc26fa26aa89b6759a5a5b9f3919ed 3064 coq-hierarchy-builder_1.8.1-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmi0oHUACgkQ808JdE6f
XdmbXw//Y3JcMym22FBd0BjixMhW1CCZJIHHmF3TMGxWyjbL5JWYAMRy4GVwhe18
/4/Xn8aqBFztnrEHPnZS/U8fSh3xSIpqwDu06u6qqWfPGuXGxJ1W59maVX/dBa5C
p6S6Xbq4jPg8eWOlS2I5n/8zmWZwFeUFlWWFFeoHLVhRfLKoNyVfuDHyFxl3l48A
sVSmrfx+h/N6NCRWRGz5Lq1ufZrkMGgi/+CVfKOE3b6VcD35VwIFhcFuZIsrW1SE
5tV9jKSPL29UT4tVNB/QQTfWJQ+KwJEa+AOxaXVFeC9fkLoX+t+LkOZenYF7gJ2Q
0g9FJCGyGYll28/pHcxJQOVM2NPFINvXM+OkqHkU1OBnsWVot2yTGiBE0lnx0bSB
7rftL4Qc1d3qYqbDwh2mfcu4L5x50dHS9yjDwG9xCi5qOZ7G7VRG47JbbCtg5KX/
MQf+fkujRjfq10J9qe/BuRuC4Q1RYrsybCkxcko4vwIGSC52YkSlpry0DzLx9FGv
ZyyJM2R8/Mq2dv1ePkrXexc5fYjN6Ko8490Dpt3Y51n8mg/mCUFKE5C+ITBs2OxB
/nUjfDX06xrVu8X4zEeK+/6QJqCW2B2SX5/3bhoOe75RXy17d9g1IYMcv5hJ78lo
bwZjGHwGMNMakNzuMEItJn1EhyctAt1Tk5FKiH6Q2vHnVU4o7Rc=
=HH2Y
-----END PGP SIGNATURE-----