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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.4.0-5build3
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
 ea7be1c39a8d9f4b19dd17e5195cc9db8ee27fca 3840 coq-hierarchy-builder_1.4.0-5build3.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 fe2c65ab1218de41fb437ff8d0bffe2a4e3e670b0a91f6496fe94010d15f2383 3840 coq-hierarchy-builder_1.4.0-5build3.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 66e704fa65d5ba03eeeceb46cbc6d763 3840 coq-hierarchy-builder_1.4.0-5build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+sYIACgkQ808JdE6f
XdntDxAAlcrYlGHD13z8OjFwN3ox+i+0+RPkqTYWPHS+S0+Qah14OnTch7JeqXFD
kKQfGZjqnzcBoGCJiVE7oKNSjaOaMCP+AA5rKVb4CD+bidmJOnwvpstJ5cg0TqoT
PhMndy3czJ46dK1UJqomdqwLUQ8LNEK2haM17FV4BrWFqz7kXz++KKzbGv9depg4
IajX4B5NiEg7HG27bdJqEEIHKs1kphZQLt45r2ipfxQ3u2TeRZRqrB8jQpr1z8ft
Pyrb/ji6WEQd4zB0nelJvM1TY/zso3W8fDp3ClorblGIc2hARBrjS2GJnHI4RigC
TyM5boh/8KyWI90uN+UEAhkp4ua0zsdpOoIpUUsZaOs0Vnd6pwGvdF0Hidg8uXQz
8e311Z1ZnbQAK7Rl/5VVvpNtEJEUBh9DtQH/KxfHY58yry/NFl/3YZso2d5nhypY
BtAp8/9cVOpUmNhnzn/0ovtJkxIrYodTEoodHsp0qTg2CIle36YLmZ9kQYtEMx/O
V4+pIsh9BJXjNjkC5V29o4BnUnYrO4kn909pLQSY7T2Xr/6srsFVECe5dClWtEnB
lCVFeTD3Z7lV7fYLtH8jX4e9tDgzo4O/U96ekpPoBrKyMCG+sp3Wvclm2O1Ec0Xs
G0hehq5PZhkDwBwhYJGBvr87Q/bb456I/zU5xCfNzleX5Q6hprs=
=eChf
-----END PGP SIGNATURE-----