-----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-2build4
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
 e1a81943f23f761226782786e40c00cd8d53311f 3284 coq-hierarchy-builder_1.4.0-2build4.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 910a1e4bff026a0b1b4a54eb9fd4f49435f32f46c7b63512b5c1a360c694cda7 3284 coq-hierarchy-builder_1.4.0-2build4.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 923cfab805c47ea5df3696c0866ca04f 3284 coq-hierarchy-builder_1.4.0-2build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSIMLMACgkQ808JdE6f
Xdm88A//fFztOKQPy1dpVDcM5e0RrwJfNQVw+fbMQ6UIPKpih+nggFsZU0Dy8LOL
BQGKOKhmU+0t6bXicdTgT8cK0II5lnVyCClvab+AVbKUaZSlzEa8DFZ+gayj1Ir1
1RnsoP1eAu0TIbnLkIdnHfYFjitHdZX12rITe/hf4ME595O4b2n1svCPaw9qgzig
UBWM2Ydt0/NXzn3+CUOEsKv5fRZPNOsuW3Vq3MyFT+VSDcsQ60D478lqLyApXfK8
sHzlyY5JuO8vVnMF8IbQWOsi8Y7Xf4hdUJZMdSBrTIMM/L0j4XGqg/rq1X3CclSO
GJwGNmUXepf6jz/QJuyx3iasvt3dwj9W2QHd+rC+F/7bq30bpV2LB55TdzZunztX
RcX51znSD5JaJ7m2FQ23+I8AUnCddUDkppvdOFbD4gGudVJVXuXBL8YnGkxMgCwh
S1oo+0bEsZHX4E1fwfdLJL5oPXVitHsta5SxfUSdwlpa4lWnZsR+HVGQ1xpWSg4L
dwqDMwEs6OTEyReDfDZYp32YVugbGgDMYQ/UqRp/LG90KYNN25dUNP+Lufr5dbP8
cIfADB7txi7SIV9xWvUnUuqD47PvmSnar3cPh15eMk6+wGLtqzkt12XJIh+BvZdt
RuHM1ok59OVEwF94d+W4Kp87zrM8ha6EDSicjpA8v+8VBDn6pr4=
=EU4k
-----END PGP SIGNATURE-----