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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.10.1-2
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.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 (>= 9), 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:
 9b12939eda12278bd400debb056c625df1f8b06e 218998 coq-hierarchy-builder_1.10.1.orig.tar.gz
 ba7bb103975aa31fd66ea2d8fb5dcbbf2e415254 5308 coq-hierarchy-builder_1.10.1-2.debian.tar.xz
Checksums-Sha256:
 9a9e8cee75cfe0edf501d13c9d4e2699830ec01dde0f0d6440a9aefe21bc1cd2 218998 coq-hierarchy-builder_1.10.1.orig.tar.gz
 f8849484cfbb8af250cd74db0860d32a79c588500ae47220aad590fd9ae879c6 5308 coq-hierarchy-builder_1.10.1-2.debian.tar.xz
Files:
 3b0ec00a082c456578a067d5e2fc5cf4 218998 coq-hierarchy-builder_1.10.1.orig.tar.gz
 eb0b55ebd9b66a3f578403df4ba02e4b 5308 coq-hierarchy-builder_1.10.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTf2gZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSaVEACJ43ge753/aXIo7ZKX9ucx
848CGcE/uPDEq3XQIXGP/YopWqPqhH8Lfm2kUcP5aZtbm04l+9I8mqsKgdi0796/
PhJYKuaqDIZOkHYESg/KvEPsy0gs14Pkb4hPNtfR/FRlfFvy/Cc1cr7b4UrIoB+d
HP3hu4bqg4j0Y69hH0/j+E8WkUSJrqou6cXB177tIIOTocxIbI9z0sw167Lmv1QK
lDxuThsmiQ1ZTLYuz1EHxZKlj/etmU6j8IhMOvW5yzSB9vGh8kzXnkPqaL353scm
BOhm5sXE6BwbWE9n+KZoMF4alQzp0OszcX++Z8QS1m7r0CU6MGy+UeoCqlGV2ovG
2SSYUBMffXHZD16SjikCQynbCq8oX7EdqApuNSW41tisjq1PXFm+PjuQkB0d/eKb
VwoMiAjEjY8nadgBPekGaRzp9GNLahMalFKccAOqok3uZ1sFG8AbU6jXBVcbGAgK
T4lOWGZqOIhmbz1d783w1azqz8+N/fC5kZQkvY79mkTyJSe8OinAbo3o0QGHbTXX
V1iKi5M87wqlWjs/QuSPN8N5ceg0/mbMmhVA3WQoGwehIqeE5zIKzk9Tu/KYpgCn
GxhW55qwzM9LuTzgwl8Gu3ScNstJodoJom3TEIGG/SXuBYkqISZAoUG050Hsu4Ys
RY4BqlVo3JPClQPDp9QcNA==
=K485
-----END PGP SIGNATURE-----