-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-2build5
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:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 4725abac8eadd73b813aac6accdac884eec28503 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 738a2582654ac1463452a0311d42504cf868a9e8 3024 coq-hierarchy-builder_1.7.0-2build5.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 ef4942d8773cd79e111da656f0654b1cbc40b1837905088e5d53f4dc128fd685 3024 coq-hierarchy-builder_1.7.0-2build5.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 22f9786685c0268d788befdff5ec04d4 3024 coq-hierarchy-builder_1.7.0-2build5.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbcQSIACgkQ808JdE6f
XdnAWxAAgD/Ws/Lui6CVMRMAOxCc+Su/+MTsDzXITedpZlE2CKBh/rrhtkgDQ99P
El2MGJVR7rguEGCcJuiPhdNCNDX4XH5EDX2ovtvLAT+Jdnc0/A7GuU6yIftmfZk0
Rlis/T+A3jwGU62NbP8QToIqCR/C6rtt2rrRJEZRa6YYiNoAMk7iOCLHIYekAUm3
teFYWTlAFyImnITA+fXvK99N0wy4wEfB8zf8XC5z3Bb6p4bsWU4zBrLzApgsOz09
pAjn7nykcK6uxZmL2oDfg0qjVLkugJHNC3vPxMXDyfjstNzDnlE7zp5KHvrTNw9T
UOdlsR/hlb6X6+QJMnU00FO8DuqcpKiHrQb2jOIZNR7AgG/yU/O3AxptoTf4hZlo
vI8+44C/pAhK9wl+vgOWXgLNgpNcSRUojhee+lNKzBZwFzWI7zaHZ3omEX/QW1I1
vZ//NN2Vs0Pg2hWea4uXP4NWDZtK1eMzRYdym3qNdUXdec8M9EJ+3s6SdIkxVUj1
eZeh2c9O+2XROI+BNS9B49b4JTuR1ykF1V22Ie0GKeS8uIbfXffTKMHagtyPB9d5
i+tvoZqrpUZffOe1IbplQBgtyLlB6VRtOahSr6nsOETRCFmhA70DCgvEmQautqOX
58g1agOFIZ8696+G+jaIisdySMWq3zYYIdqRk7aRAhtJ++1S11Q=
=0K4P
-----END PGP SIGNATURE-----