-----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.2.1-2
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.0
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: debhelper-compat (= 13), dh-ocaml, libcoq-elpi-ocaml-dev, libelpi-ocaml-dev
Package-List:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 045f0a087b3ca5de100a546056e9ec14faf3b09c 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 eead9832f4d5b4dbde7f4f535cccbe2e48495b19 2732 coq-hierarchy-builder_1.2.1-2.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 aea8d0d0fa32023602b7115687f49a55139885e4c01b1ab0823f7025ab924345 2732 coq-hierarchy-builder_1.2.1-2.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 3b685c40c4d03a95c924c4bab30105e4 2732 coq-hierarchy-builder_1.2.1-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIJASoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUW9wEACUUK3NI6751hE3wRZS5Q8b
MSneGD4mqoVHne7JTmal3EASG0P48kGEmluOItM3bDv+vVHvadicAhpiyqFTdg3r
eQckMAWZMKVh0sWBT/aHxbUkKR7XN3rNlxqQpo/HhH4XPro/vZoOwRQscWt9mYmL
tDRvFGdDpWT6mhSLfeJ+gq7RN3yJVadEtAGX5m3VexzN/tVvsbO5ADNiBh3bxtWp
bvz/DV67oMa3vRWpSHe7qNWcXme/h+VRTsJO4e0tXYzGnFIslJzonosSOudMMOwz
4lVei4PpZaRwHjcy4jgJy5aopfKl5+yrEBHhvs6oKXx5vl4yP9UHWBdg81rJwD6c
U9zXCsxU7oBW92QrdvIC4kpmC27vnmb1LIBnAofAQFJaQ4lENVmQFCexvLM6Vgyv
yYvXf11PTtJgEl1pv6ZFhRX6dF4La9jzzhpf/rKvLxW6O9rbHwawfyAeHxUlu///
EFeOOqdyLso8/yXETlOBIWVyzBSo0G8quH9orTrwxDhgj5skUktoUXfvVUg35q2j
i2Iy1qRs03CdTuIzC3hZqxbaRpfYhhZmpWnIVxbzynB/+UlA2R/e95rP3T/nw8yx
HHoPpTLgAo0NdqJyxWpVHaxL9o5h4lJcxLfOGoiw5i+ytKZp0fpO9pgBHQM2+wrs
mqYHPl7yZXRRU4AMhU59Cg==
=OxF7
-----END PGP SIGNATURE-----