-----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.4.0-6
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
 db9746390908a852d0dff676b91e6e1a954a1912 5616 coq-hierarchy-builder_1.4.0-6.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 3fa5efbeafb78802ac649cb1f7ae93bdd1b13c38fcdb8a1736e8cc8de66e2232 5616 coq-hierarchy-builder_1.4.0-6.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 87647711a15046f5fb97a4c0692adeed 5616 coq-hierarchy-builder_1.4.0-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmTAx44SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHHcP/2HkeZfRTxSDHGR3P4DPvWlmgW2GaeEL
ngAi7UGPegqpQnZSpv5xu1gCqRmwYiEsBWY3FlpE++0UQFlf7ZNPH00EJIG5qmS6
y/81L1N6LpXubsz1jF62Icmbv6SyEYolzJYfLLaZZFu0Vga6SF8/8InRd1uwe1jC
4wEgmpeih44ITm1m9isYo3Yhf5whS3L4VOBiS+W3vM0Wr+hz9PunGbamneEfxJNv
wvJhF1B4MncxsiIdJlO4W1Q5+fDjh1l2MKJvO9WjgXOw45G4RxU3qSBR3z2OTx62
DQbkrTb2y9szi+ytwUH00PSTMGZzbcGJVbg0QPFA6qnvAJD0xixYa+SvYhTq5uAx
MZRTRN8EQzZVImHOOT3LDuHZf0vf7gKTCEcLZmldQqKDfpEHBHwvZFwFVLL+l/sV
m18jTL5twb9WXrFsuJrWgPpXQbB4kaeu0mJGVZMAgkceKKb6EsW9jzgZf2vwLB5y
KthCziltHywchEJFvVbLSqLWxlP1qbuJt0b9UMZtYU11t+pAOWmlNbPgPBAhd9JL
10KJI6P55h4Sp+cxa29abCGgKgTc5ld1ewPQ7pwAIfJ9DJ9hJNNCMXmf8QkoSZoz
UXQzkSdj3rFGk94Dhwksyc2gpYgWmSNFCgY8PN5HcU3LtfoRrsNtmFxeE8vh5atc
Fa1V4SlEMuIx
=cCah
-----END PGP SIGNATURE-----