-----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.2.1-9
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
 260b78e17c826743c1b2baddec1cda22b474b306 3740 coq-hierarchy-builder_1.2.1-9.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 0b5808f9e80ae96c29900e40f3f54e73fe7aef1358a4bcb1539736ab8fb55083 3740 coq-hierarchy-builder_1.2.1-9.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 0eda638696aa38345d4e3c90759c57b0 3740 coq-hierarchy-builder_1.2.1-9.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKLl9wSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRru0P/RvCYCXbJBT2CwdFAoLG0BsCHHKkk0s2
Eu79YwTGo2UKFYG8SDro9NMv2P4HIAqy5/B4WXx2C5d1BKjlDI5Z0vkMyG3+E8Jz
14X7CHU9A1iDbrBwqCEPxIpUPnAkFA48tR/94fAiO7+Qcj7JVSAKPUVQGlVfkhhN
9YcIcLr7ceXLM36cNZp5RdCD4wSCjykXvv3qjYS7RrP410+r1ZRj4JWZtR0lBcB0
pyd4fwjsVBDSWrSNtkuwVEGf0KAC5Vb8Mb+C49vXUpzb0p9DigBNVnHqn1KUeGp5
tte5iUxYeQ3zaLYzj0kCoL3YHOvDBAj+8mYAs2JXZm1JrWVYgkGglfCGqxNaUCaO
aHI0p6f5UiCMekFSW4natOE3FMpE1pI5thBLjeCNbT57dFQfWvjwycZ5GPJzF+q8
GmY3zeo65xLRDm3ZcPGIEaR+lNAZmOWKDXpe+NoL+Gq0n/0cNBUAgcwswRg6iVVW
dTOMmw5hC4vZhX1ewGMWEgOs4fDx1YwVmF3ZebR48FvOv0cKJITHl9MD7f/fRHwI
u7mHY8ONdtHHIn4Tc2ggL1Ao/rADj7ctmPFcCk26IxM7QvKzqGXx+HtL1vVsmAB3
TTCkYOlmn9KH9VvGsya4qGDLI8FNw0WvYjOzvUMiddpflgp2HdBMm1WGY9mZGmde
O3+iD0rEB3P8
=dU6Y
-----END PGP SIGNATURE-----