-----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-6build5
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
 8f00bbfd133c566e5651c5bc05b3e3325c38ea5d 5732 coq-hierarchy-builder_1.4.0-6build5.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 9e98c4bbd1ade01fa3c7b1bfa3e1d16a88804f88c71185a0a0e16b21eed416f2 5732 coq-hierarchy-builder_1.4.0-6build5.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 08f13784885f9e7b105836e6c92cc70a 5732 coq-hierarchy-builder_1.4.0-6build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTswDgACgkQ808JdE6f
XdkzbxAA3DQF4qgUTiVoWlQt/rUzB8rRqWC3kA1ZlORtG5UCRCR4BS2Ch9JvfSbR
so5WL2GKnJQmS6EiWeiRl0wf4TKQQ5Hj2xUBVBK5cQWXVvOEh/T02qnImHbffozD
L2fMwNr4PIwwHg6leA8iiBQ6u7rip23YAnCzwUoW98iA0F+9jWkhYmi0gmPPyxgO
8n+bmxpa2wyY7W+fdEsHGz1cvf98wrtRS8sptYQHBUEwcK4X29JA57Dh+BvxD1Vv
aduZaqgraQxukwe6Uyd+U6fX7RCIRx7Yd3kzn9pBgtBbKV6thJtbF0U7Kof8R50X
Mzi6uUvYBs/vnxxZ55zZrGKtbK02zAx3fb1c76Ob/nPpAg1I/6zowByaAf3e05Cc
mrEognAshUCWWoZCdkMra78gMUf/SivusyysrUev98BXm4WKx6GW6ht2WTt89vwV
F6YPm2/r+/NYcr7bXaa9Mdlu8hceuxaOMNY7ZBLrcEIJg0ALO5/s7TiBNjNRkZJf
F5OTv7FfYIrDVAnUznYSYjYd+M/UnSHp9cxd7opqAFOaMhIxmoP8mTlVMhciM4Lx
GujvkuTGc+innwK5gSff+DKvLBJzC2F70bqC63wA4K1hF0bmIdspHFc5zbwxdD+r
Ho5WoyAvU7Pb6XdWxv4E2S5rJscUQ+cIy4I/pZNKlz2wovZczbo=
=PmZ9
-----END PGP SIGNATURE-----