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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.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.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:
 521679db8ddf228783e1531bdec915076bb00906 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 d644f6b315788c3c7d340351efacde43e20f711e 2860 coq-hierarchy-builder_1.8.0-1.debian.tar.xz
Checksums-Sha256:
 c5eaaed3e3d224fa9bdd10004b08c087affe52b74040256a082a7efb2865f483 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 b8d3b0c566e77211108f10759b651e44296b50f0efc067e856b06603c8d829cc 2860 coq-hierarchy-builder_1.8.0-1.debian.tar.xz
Files:
 49413dfb1393cffba70356e18a01c7c9 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 3e5816126e0d312f7c8dd0c77863bdf7 2860 coq-hierarchy-builder_1.8.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdi8HMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURQdEACmXV3qwZu55noiMGze8bBu
0KWqXI/WkDa+fax2XODjRziIcC/1mQ71IUXI7khaHqmX7D6rwOCtSbAYwZVl8QDK
6L48Jx6+WMHP5m/SbVmGB+XWXQu4NlExiI6EnC2nITPtAga72Z8glgQN8c7ajPer
q1RXm3VT/hU4W/pZ/lp6NfIVsxrGYXCJf1oqmoL66hRNdUI971vVsDYiATYQwWrq
oM6lDW3Ps2CyuJz8j1hdA79uqu2142gG6/A9E8uHYm8n6q27QznE2wWbARC2YZHS
1F83qwwMHeA2yGyCawvHxc2zx7HkIpE1iPvwB5LS+CfIA52A3T/MDWmoJtzK61qp
ULGE902JvgjpMLFW8CMKN2G/AJR/pFSL3KRmovC5vl6FDvYfOI1HGf99iRP94jLA
NF6LLFTW6ZzoFu4yjvedOEZn+PayilxgU+0yRsje0AsTF53smKdNZaeFGtbHziU9
VLRuzSLAGZMSBMArk6JAqf6O7EoGTcl6X3bSto3K77i1STlJC7v6sj0uMy/uZgEM
zPRC5qF+cdf/vY5mZP0X1u3KmqJ14fVHynVOC7y6WdYkepeyFddBQ9tPTo43BrtH
ooFSZfbOPo7fUoYh8Ji3jHUoDOxxaKVDSZdeulZOBLqNMQ7JEmOPIzezAA+LXqOa
NyJDTGrNjDG2ekW4w2sEEg==
=NHgu
-----END PGP SIGNATURE-----