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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-1build2
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
 c4533563e25a6648517367c884849816e37a6b0d 2848 coq-hierarchy-builder_1.7.0-1build2.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 168b1031a459be36eecf2b03cd3d5bf4241d48ea0e39f27d315938ec2644c149 2848 coq-hierarchy-builder_1.7.0-1build2.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 c2d0c954ada35e15fd14f69099f9e84a 2848 coq-hierarchy-builder_1.7.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZMLtgACgkQ808JdE6f
XdkbMg//YyzEXrkPNtc7ozQo/duJ/TjGhrBs35xUmFZ0H/ic8o/B22HwPdbBQuRi
aeoBEg9j/rWPASUZcigWXnUZPDsfWu3ieHYE6gmgLmPULiWWKNosP9SnHc5adJuk
Xqbm7tqQeh7bDQNkkavKmkJeHktk9jXiCkuLgJ3/zyUn2HMMNnUdB5f/fuH1fLNo
0cUWCogtnMzfj9XVW64id9Z1xrpizk5KH1awP8doFTdpN9clxItVsO/017xGYrE1
Qkp9pI4qGVAaAizO3Ei48wyZiJiuq9SqnKLheumCE0GHTPJI41WrqIpr0EKCPu6X
rMm8jgJbALDqTrMkZKQhLhE+gAt1i7vp8+rRQ0Wvx57Gz9XV2XCUhqhUSiAPj1ph
kkaTuak7Xtf/JOlQnu9XbwsTmSxTWlUh7iZ8kDnGyac0XxBPmc8QqRI4b6rWL0c7
wYGTAINZFqqClxSr/riVa6+SEY3xmwiSQq2fjbSZAinSqV9IuYfkHKhRKaVMlWuk
Cg3FtJYFYla46dnWd1zTJyg/2ocgmVDgfWnEWlqdd8vnoACn2M8zL+FzOCGNnvGa
YMEA8Qlgas0LR6sl1E3EG0Cs2lAFg5PzXixH6BMTnoBt2hlMCnDc8JXypF5iT7GE
Cmho2YGlDPd0cia1TIYZdMkMP9nXABu/qx9wWecN2c+Q9AOThtQ=
=+tyh
-----END PGP SIGNATURE-----