-----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.2.1-9build1
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: coq, debhelper-compat (= 13), dh-ocaml, libcoq-elpi, libcoq-elpi-ocaml-dev, wdiff
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
 0f8b82b9cd1fbc12fb5c4e9227717df04e037dd9 3808 coq-hierarchy-builder_1.2.1-9build1.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 47e12a01243b2be50422070c54497fdc1a650f2cba3c851b28dad3fadaf533e1 3808 coq-hierarchy-builder_1.2.1-9build1.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 1756f47c4fb460e698517c3f86814e54 3808 coq-hierarchy-builder_1.2.1-9build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKXh2YACgkQ808JdE6f
XdksbhAAg9h3CoUxAMsvU0Kn8hbTau2XC6mMfMXLdv8/381xtx0sAO5LXZQsiUXy
UxtndGW4k+fDvJw/dcqrHNU6NN2pcnGN8zaVz8myLRWBjs5jml8vpkpS/CAUpY1f
SCIaqUhxX67qUtWEA46cnMrkmbc6LqcT8Os7rCCMVs3TdahLvPfeJYJ9GPp5eHEe
pPa+HuPRii9fcimQkG21k72GzvoFWN1VgXBrIQRC89v5blpfcT9aixaHngM8r3QM
hVW8oo1EYtHdEPYJQuCyhcMmY992q4byhzoni8f5oKXwq7z4lzkgfKl0KzJlLejF
ZlYRHD2Wkoo8v+soSl36ZbDms8f/GffixiPchHLk0wtdNcMnko4DjNvZg/xLRHDN
D8Zz8Z7R51iLqnXUmNx+a2cJPp09b9Nub8mm9ibntTDz5fuQg2+KG8UOhbXG6kT+
fCfaAWhgJyldffKMOQBZxzc10Nx2N46ghJxha+leV3DZXfsNawmNc/ihUyJX1z0r
5eUHqvX2ph5qMoKoazFyRq2aept5KX9zzPBbUzYPIJpdn2I116QtH2RdRenBI3tf
bJOud6UbWreFxwCEbgjgkqtEr26lLE7TUAVkF/ewK+fn/GOXf2dp1YO+UJjIRlTf
KQyPMuKghV7/TcHlgdTK8S+74OZgcKtwkm4qMlyyGko1LTQmxDk=
=Vmhr
-----END PGP SIGNATURE-----