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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libhierarchy-builder-coq, coq-hierarchy-builder
Architecture: any
Version: 1.2.1-1build1
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: debhelper-compat (= 13), dh-ocaml, libcoq-elpi-ocaml-dev, libelpi-ocaml-dev
Package-List:
 coq-hierarchy-builder deb ocaml optional arch=any
 libhierarchy-builder-coq deb ocaml optional arch=any
Checksums-Sha1:
 045f0a087b3ca5de100a546056e9ec14faf3b09c 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 4ab0098316558e8c7f823e7f618cb7a4cc8f6000 2700 coq-hierarchy-builder_1.2.1-1build1.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 b8bcdad8ce8875b795b82a9e48f1539566cfb641aaeac80c4b81491b1d4739c9 2700 coq-hierarchy-builder_1.2.1-1build1.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 1255ed241bc3bade3747f6cec32b448c 2700 coq-hierarchy-builder_1.2.1-1build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmHwkEMQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9XSxEAC63vKjwYc45TWqTBpNoz0vI8MexhYHB/0C
3mKQEnLKrFBojFvDIq/aaM+nddxsaqd9paHMQ2s6gpMIe2VVgxvt/c5x6AGxIKv+
beCoFGjuEEi334TrKvyt4lYQ+piDQxRjnf4r8n6C4diTvjpbxEJuzjPDEN0A2P+P
RWSOFKw0XWcaoumCspiukbzIyZ7L6AIcThtmTIWMlxeMXi/NZ18Nie32Np1TVHbD
9wFi2FVshCCUvPQEB4qdJVAox+2Kgp8QES8+/xJE4J409b391Kl2OQL6IJoJHqCZ
KC+VHc8FmDNCt+EwFJVkx7DYdcmcsnZsGPkxM+6tY0XjNWyoqQj6J7xLGOywkRB3
mpXw8/dY6cyZgS71MrnQfRZFUs1aV40Zxr7QG324GrDI8rAwqJqIS+gZ5PjJdSwT
dxVXWQNlFgYcj5ge7fqnPJweOEbss6hhS186SLawZbNe279Bf/ktPhKuJll6sFrj
P3pX1ZpHYpWcMyzR3t+532nnU0EtFdYK+JgVu3iUYYOj0/49t9JFYjuORGsKH3QJ
8XgAInxKa23LUYjQjpl9RMt9tQFTPJEKr3ZNNS9tIl2iE7pMUGHYT1BJ95uXdLST
hziejlTMhgbBcJ4CyVFTr/xG4eRieY9gXRG9NgtyvpiccnB0hgwidMtBtsELtGk5
WfgR5l5aZQ==
=nJKL
-----END PGP SIGNATURE-----