-----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.3.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, libcoq-elpi-ocaml-dev, wdiff
Package-List:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 45b9670ce4dc977d2af1edb7ccfc7b79f22bc217 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
 de5067cd9c8afa4f2ef8aabf5c3ba2dee6f111b2 3348 coq-hierarchy-builder_1.3.0-1.debian.tar.xz
Checksums-Sha256:
 8d4ca09a08793be19501ea2d9e82da1cd413feb9a15e5a6e0c183404b8145c76 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
 a1eb2fa42297555e4215fcee73d1e6a808d851c7fce31e5a38dbdbe78aeb217c 3348 coq-hierarchy-builder_1.3.0-1.debian.tar.xz
Files:
 42ef8d7c9f81a71b360214b2397fd52b 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
 b687348c4036880abc5a7c77b0c7f1ec 3348 coq-hierarchy-builder_1.3.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLlUgcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdQ0P/3MchwHn9rXh+PunW0wMBnFuCDSKcq+R
IcXqIIPGE01kN77Jt5eDgWg8ixBuvDHmXdHXp5kZ1Hjki6bNLAmYDzxPJEle6D3t
rTfw6WpkYAKR4ZH762bBfHEE63jLTK/FvK5mTQ2qyMP6IUd4J4+KjCZUDXRnStuB
lit1kkq+ECxYr6kTX/Gi2SJIGKunXgpMeuc5kwbhV3aktigE8JzaES+iXIGBvTI9
/HnU9tr5viMj/m8yUhC1OwZ1i73PIf9HVNRmYLhHjsoLgl2qXdbrtyC8CdR2Txif
HCcs4oIQjte3SpS7u3Y02aVZLfyTMxSHYEYgopCDA+hUTnniJhuhqSFoTUc3Mhhs
8Cf4nSrO+6tYdEw2QecWp/tzPv2PeGbXvgJbxqytT/gvwy4vJYw/QWbQ483dvNd7
UGEw+6Kue55daR9/rnlgfiRbKza8Qdd7Q3LYal2RzEmQD+1FQ0GrnybQ9SW5Vg8j
JFNL4HvTuhSCXvl9JSLQY09b5wJkkO+aOYYhw6moGIrIwR6AylxWCLneiUh7ZAZy
PBRu/ELk2XnGRaAu0WdwKgqOVAqMfzCLmJ5sDD/8lh2LCQWR8RtwYW6C/dJQ8mVx
I/MGtK8G1/eY5ofaFaD2S2cFm5cDSd7xeH3FNFFr7SkaCWWETmQb5w9WNe5oZ03J
zWKfnFzDwFMj
=4Syn
-----END PGP SIGNATURE-----