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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build4
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
 a69a371505df88f9a7c3068b6d81cec37899a3b3 3020 coq-hierarchy-builder_1.8.1-1build4.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 129da8393f6f53b928aaaff261881120856ae4e9cc27dd8191bfbf35b61c783b 3020 coq-hierarchy-builder_1.8.1-1build4.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 127b6823b17c09f3125a0e64f76e5f07 3020 coq-hierarchy-builder_1.8.1-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmg2LkAACgkQ5mx3Wuv+
bH2ZpQ//XoBU6sKeFa68TpekrHXrTEfW3Y42ZNICGDQ16oZPSUXVU9n0Al0++tGE
qawoXh7PwcKxTICUHdKdZfKTenXrTsPyM/6hNNVTTzZTiCQe955uHOMSe6cfvhyo
GklAV2TdBr6oNcOx5B+akegcDUdf6WUORjQWg3fd1EeH7+aloniavS0+ghTfXQmM
y/vk3m8jJOFTNliN1i9h6qHCu9Yuo9oiugQp357QRowlbaugn8Dv7UXgfOSvuztY
Cu8MllxEanFDNXYzEO/DS3OVkX5b9iw5ufQOWW0rlRHiednOpZodRAXBNELQSAER
SDy9IdKXncbrHADnIrRYdxUj3RWCgm8ncOrqWxrXQ4DUZEhwhgtKV/R9j7eSVHEr
UsIeqGt2NHjpzP2lMudCwI7BDvN00QrP7x4dsaJuqeYqKjTnp81gSecanruJMCw9
5rgNbVPZKPr0GG3fZJnmDobmn+WhsN9gHtE6DOggSBl/6ZKs6QyIFuBYDAX04fie
u8PavxWM4QSeGsq94YUbpOovOPuCm7PkkH8Tf55u4WQ4KfX8KmtzDLjJkokj3GI/
VdYyDuNSvTJ/FtjkKCctrNcdRec0dkyO0022+oR7V2Y2QZxR/VTV2DpeELc7qRYz
XP0gXf4sUVAB0Mu65TrbDXuNVkpvhgKBqPt94Past3dr9SJdpus=
=IQKa
-----END PGP SIGNATURE-----