-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1
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.7.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: 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:
 1641ef88f49cfa92943942109634bfc5a46c7825 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 da6a7edafd2740609b30cc29415adfce74705ef9 2872 coq-hierarchy-builder_1.8.1-1.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 99e0b8d83148eebd69fdd0dac7bcf1efe3fd6378522da44f1f9da314cf2cba35 2872 coq-hierarchy-builder_1.8.1-1.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 88cb9c2ccca38158de60aa039b5c2679 2872 coq-hierarchy-builder_1.8.1-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewrskZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUemOD/9zGYe+pekfXfpzF5wK0L7A
slgAvDilp7lwubVfFx8OaEKNYEEeulIuwEQpsWc1oauAlJ5tBzYQlmD/Fxtt4AlQ
5a0+JuVRYYAHkjv3opUS4bVziRljwTrWBu8JEi9C+8ITyiVixKUxXOlZU0LpzvJE
qtecED+GW5xDnzFAiID5f9N5UEu6lqrQl9vNfneNvDJNRqfanfP7+KaPMyoZ5l5h
fqlrmSKBlYgngRI1v0oXW0WByMHJKOt5cofF4bFnpSD76TXkfv4IZINDdvf6OqGi
5jo1k0hfeyfD2Uon9OGfpIXrIHXyzkLccW7/oWsITwzp5eF9H5TaUn1rgKzVQa7R
AXWP+69jujgC+CeVkrcUQkzQeE8tDjWOpiLQXK65rCwf0VbZSBTAaPFx7H32d8xb
WyFM1zJ+05CKAFPXQcoZp5wfaWEiqQ/TgzApWDJKUsepVFdeszH5W9vfJm+NTogk
WIysVplF9APBDdDhibnPVlYN9k2r+Ajbaj+WVtKNyYG8eS13EvieI/aQyuqgssEq
P3OE1oJhqnzJLJXTec8f4H7acL24dcNfhsRTRvomifn1aD2GBN8zFsQmjhoIPAW+
9ZdSdREj4h8svKE3NZrH141jgRogDEz7HD2xdkhF186VpI9ep8lX9xdRRDuMnakE
ZRK02upLgyZM8IOgSCdBqw==
=WTrV
-----END PGP SIGNATURE-----