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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.0-1build3
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:
 521679db8ddf228783e1531bdec915076bb00906 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 28f35307912dacf307a78d3207e0e164aca3049a 2976 coq-hierarchy-builder_1.8.0-1build3.debian.tar.xz
Checksums-Sha256:
 c5eaaed3e3d224fa9bdd10004b08c087affe52b74040256a082a7efb2865f483 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 8b66091af8f165109755825eace796a195c36cdc5ca11dc6bd503797da51733b 2976 coq-hierarchy-builder_1.8.0-1build3.debian.tar.xz
Files:
 49413dfb1393cffba70356e18a01c7c9 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 9dbf86772f2dc0b223f246a85e9073ff 2976 coq-hierarchy-builder_1.8.0-1build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmecg/4ACgkQ808JdE6f
XdkvlxAAowdiz1A33cfJT/NGqBwPefFu8YrL/RjmzNdrKeivb+8xuEMU9LO66qpv
B1V3NYzkJ4jIHTY5SedwTCugjXp2G1nJM3LlhuDWXqUU76C9/GtlRYsr7HzHxv9r
/KSqR9kTy2vzkrJfiO985HcIk9T3PotUu55sXNPwt+UWV3qmgpkaVRkm/xKYpwjH
G3ezBMgVkn94W/esM6/aBeGfkwLE6JLfDHRQVK7EVUvHAV3kK8lHaJ9HXffS/V2h
8yDGh/bg45ZnWnr0nCmnogaiSFvy9jBKNA60M8aNMndg6doHu0obtuCyyw+TqsNN
+n3OYkVM8MaoCpOROuU7RsDWJiMf71rZRLtNZx2khK6j91GyashajMCxjRHCIjom
yUkLBNYlYB1MvsxuNQPdsxNYtPG8WwJBHeSTT7MRhRk0s2xWnpDSfp/foRMlGXpy
kam/vE9LK4yaoHipKAwBEC8RTa0lWVNuYXPZ/wfMdepAI4wxEozFb4iTL4buMlmj
evNCnEsK0eVnXGBF26PSG9zonFDaScFoiRogowZ8jbjilEOtpX8Nc/yqxKCxpryk
o6Oj3dlDwCVbamv9GAwJ3oys5EHSvXoh3nBXE5oy0TtKcccDVihjvP+c82vxMoBc
7PYLsKvZi7+C/EjqbaIdBiX6Z/qzcMz/lGOPOUx/CQKSUzqOSiE=
=6kxL
-----END PGP SIGNATURE-----