-----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-5
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
 f3ceeb791c9b0e19621effedce52e98fb6b7d626 3744 coq-hierarchy-builder_1.4.0-5.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 1afbf37d79907e732948cec6fcd59ca648a6859e1fd24e9dcc922ce319b61d21 3744 coq-hierarchy-builder_1.4.0-5.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 4e90c6e72b01d3025150d7ef979af3ec 3744 coq-hierarchy-builder_1.4.0-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSlJNsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRFLwP/1OWux9nBPk0SS8Cw827bT+E9q6V2aN+
zY0sFsJwT3msvSaFkC1EHcrilVIRBWJBcwlt4nL9kVM2KY02U9h4H1OIUtrg22w6
ME7pSG+Pvq8vuY01/NBW1tqijZoBobmtskj8claTaWsQgbMBIwUEStewLu00cfZR
zkmzyRhHR9KWchVJ3QlEyMffCTw9gkdMsXtxcY+pXMWWYj6T7G47cbSMehnJAIhM
Tw8SUIBu3pPNqSN9HzJI7hmHNHPU0KUA+LHcxZ7HfphZv6iE08KkGwrGFrotUOn1
i+Jbet356cErvp4pklraikVdhZy3/CQjO3uvuQGM+fchvlKhpZTzm/xdBQ6359zm
jKrW0JN40IcIZ8lOQLiQ2BoV5B+qP4Ea4fU51hL3gVZ2/2piTPh7QX8acncgR0em
/MNufi82yk0fl/jqYVXIpRoQHAwBPsqU1NSca2qM97x3wS+ttze23wxEZo5lXJvT
xbkGvFtl/m5vHbzTGdvM9L/ComJSHWt27QiprWR6GTBHNgZdZcfSDoTd4ar9CdZu
P6oR7/5ZKtSywbOkhKkrkLdD8SwnGZK13KxkrRshocn87eK8pkVUbhrz/CPBepRL
E0XZqwjEV7Sxvk+IB8bX23tYvbBdYnuakwt03jRyj9/BGKGER24u+AC8CICTbgKP
WyIEFo90WUWJ
=yQbg
-----END PGP SIGNATURE-----