-----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-3
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
 5c1a17ad656d5eece26dc5e51d480208e2da7c5b 3720 coq-hierarchy-builder_1.4.0-3.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 57547078bb802143447da7dc1dd241c95f82ea7e9ae2fc8078e4afe374261c74 3720 coq-hierarchy-builder_1.4.0-3.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 192b0f95fb85555be6f0ab61a29ff359 3720 coq-hierarchy-builder_1.4.0-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSH+XkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHy8QAIcG4K+Y/CPS34e3DWS8mg8FBbHM1VLz
8ReCv/sczq4m2Yh9aL4wORpeUthLvdFE+g8ITp7P8Riij/j1Qgg+yrFTnzqVCSAk
fQJ5B7JAnobm3i0/dkvQ4pbCJoV4I7PeuUcOdu9nD1eNTHpjG9UqT+FlDvMW4lyU
tdSzEWCBSvTe6/8Zss/WHGlRY6MGuK1fjCek38mIoHQQ+PP8u79HaM2f2KiP0u6a
8p55ZQnQLnRUHMmltuGySpQr0j6xUawdq6ahdlkP9zbtmKSh62X1f+vB6Pa+Ea26
cmnuK4vLtaNDQXn+YVSQK/UWTYXeqBojkFYuwVE72pEU2m96hX0AeC/tIZdM9X7f
y44udU0RkbGtAzBBSxjoJsqFuCNvJgWA19h3ww6Rx1bZ97j6IaFhsDb4aQbqrNZI
f1zyePbyUPyjHW3hIuNhPsKbKgTK1NRW2Z0a7H1NkWbPVt/REc2foC/dXWdipyFe
9unjEBKAKB5qSFhaDJRgJjwz0TerxgZ+hrMa5wdfLzm7c+UGta3C1zgk54ey/3GC
dX4qDxRYRt+dqQE+ckePU/kUxilG8X8INtO0rpXRfeby9dL1RT7kFpxtryFaVzaH
WN4yYQVZwjfucLaLn9Nbz+pWu+luOFwMcDxH57w5rjJXgf/9nccfn+mhUeujmB9J
ha3d9wRJaLYb
=Y/9A
-----END PGP SIGNATURE-----