-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.4.0-6build3
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.6.2
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:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 0a416ce6bd3be7af9bc71acab905d9fa6882e84e 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 cbf25636e01ee37eed112266a3cf74681192af6f 5716 coq-hierarchy-builder_1.4.0-6build3.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 1304699cc4e33a62a397585e95584a4efb1c7fdf611287d0360429bc4353c74a 5716 coq-hierarchy-builder_1.4.0-6build3.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 e9a44990ac0c46b32082fc0249131510 5716 coq-hierarchy-builder_1.4.0-6build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTDfZUACgkQ808JdE6f
XdmtpBAA1UgkzFXHERng8ISH0HZiuTR6aYK/t9i9HyJZ/HAYrON/WoHRcCntQv29
IZtzED9c1wA5wJX8PdTtht1aohg+tj7xzRBTDE3ujLX33RhClkSN45Qnuxlohvro
K61VValUle6DV+CIvgHLXo6aRdWAGSR0r9+NfLZKaN5Ohv9fhl82ye+aX2DSO9fm
sn6D2RJ+XbNJI2Ok9TfTkGWX6SG408e9SsBdDG9Snkd8qFORJaKN+qSFAwWdwev7
ldl9nRLgSMylJyHbhxz8DEmMjVK2X5t2SxsmqEBnHx6ILzqKUKDoj3SCERUZqxig
JvXcuaUBvYqorS6YTTX5IcBX2xZODRtnP+TK6UuBtLHumtSADAreYHKgQYyWZYts
rgwNZyLe0LwP6b9GXYvaaem9DPFwVGN0Z0z6eTJO8qLx0GA7SzJRFcT7gNSZLJ+d
mKQqoY2F4NhvVtSeOLjvWftrl/+kaiMi8Z90oanPL77WrnBNegi9SoyK5q4zUYxT
hGVFAKwjJ/qzg5RethmEp30G+YV+0DTCw7otPewroI5FoqMeQK2OAWEXHzxJ/GOj
ay/30AMvs7wdpNMcMCiY9a/CE1NZ3QdBiNsDL2qB1e9w2c976BIT5nk8RfxTBj/r
am7uqF5OZ+y5BcYP62rcJFNCeXfuI9meqXwogKDG44GUMKEHCCw=
=zA3K
-----END PGP SIGNATURE-----