-----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-2build3
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, 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
 51bddd450365bfd2280c8f5f300ec145e3d9d7ee 3228 coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 7efff20229b3ed5c461d40ad3a516002e81ef2893365408eb7305def8602c77c 3228 coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 ae9d5e9c6815e10ba12287850526de5a 3228 coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPutMEACgkQ808JdE6f
Xdl3LQ//d2RHzvuwaj7pzXafHFRxrXl0OCekbMe+r4EiIpRrR5uhLMRjCz1mu2Gx
NZbcc53AECII047IoM5x1rjyG7fAps4bmZRhLuy5PsrQmOIAd+QzegkafBv4BQqj
rxSq17RkYwt+mu89A55PReyk81XZUJxaZYJbRciJK4HTzGs+QFoGl9fL3tBms3MC
GC4H5QoJT26Ib56VQpCHLWgURFl7xm6qM8O/HJXNCymV9dx6cjcnLNBVnMweJAgD
wdYfhNrYd4l11wn+je1/2aZyg1bdh9Tsc6JyOBhrB7qdwIwH8KDb9vAQXFrr50GA
quhSZIGZSqvCCIVEVM3fuqrbZj6FpCldRXvSnHni5H2MpBH91gnW74r3vII5BKNP
g0mhuqRy8GcZCRsvL7PiNouTHHJZx8PFSiQDqxu4HRvoxCowv8oorF355+IWCcdg
voDxWcwB3W/oFWsccUBVROj+EkgiRRrJrMaJ34irR6d61+kJfcRQYFOX+lQ08+Ir
AVDoAaPfUoIPNkJ4sqrhEVDgWJr2Poe5Txsa/xEsS22rmB+rD9uR0hZ6Ytikx94y
wej2VpF1r3n2b3DBJVlJDQPH+Ykb3UFdLui7El/kIyeGVyZbap94HC2Pdp1Gho/O
Lic7D65ShTdlKJIgWVq+NHJTugpxP4a48M5qETamYKExYcSnm9I=
=0K2J
-----END PGP SIGNATURE-----