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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.4.0-1
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.1
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
 276132f48e643657c900a77b46e43a89f6163f87 3104 coq-hierarchy-builder_1.4.0-1.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 fd1f6f91cc8aa8566c63874d548ec1d86df5109f9431cebb09bae4a6fdd0c653 3104 coq-hierarchy-builder_1.4.0-1.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 a87c5155f713e543acda9104ac9e9788 3104 coq-hierarchy-builder_1.4.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM4nvASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROycP/jkghgm8pdZwORPxIieTr7utU+u88Om7
XgjZF+Uo/ZOBkUt6U6tUoNzkpdXYci7kJnuP2+F3+/5kMKzVo7TXv0W61THYrYEO
B2dNl1oSJsmysl7Rq/pIr6l8ZgegArRjZpfeqk44/QUEGjRGVmDzFZ0C0sPTyQ59
HOvOyNgJF7cnjCYpI25G/73+atCCUbU6MP0RGOXx/NT+tCEfSf3L+gTsHYK5kJ9M
insK8A8DaijQX+/pClAAGeR4K1vn+dYqHR+mY/0nNcRIUGWSU3zf8uoi5aIdg3hZ
uCwXKXwquW3S0kiIcVw2yMsJY4NIg5Et1aYOVVZINfmOm/i2nY3YkdsfAW7tKOOd
khDoynzyQzKy5v39sVRFABjw8IiSGgsS+aAy5AXDfWmC7IAA4cpoGTKUMXM37L3r
7RBJbn8VJg6RijaExYU9bOfKwoCGwWNJjC00FVFw0zaYHDL+7m07eLWUfSvKoB3E
ZCeOkf+hIMW7ugBHqPg5kWyZRM493Lb3kaR9LiSPV6ugk8c6wvQCb8m0yix+ZHG6
qRf61hXy7swTtNmHZcBJnHSiR8GieAP9xXWnSsiXKODSPfwdck7/7EckFLE+enm+
uMRSQQnsqefMAxZcHO/+rbxAnESLLe9hjTPUVHf/LaL74Oo/wAP9TPYbPVmlllxn
3xO20ZCR9fZ+
=DIo9
-----END PGP SIGNATURE-----