-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libhierarchy-builder-coq, coq-hierarchy-builder
Architecture: any
Version: 1.2.1-1
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
 10ed51699b320b11641fb76e2547770ba75f1623 2628 coq-hierarchy-builder_1.2.1-1.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 87776b4928d906a11d5a96317ae68f7b05830d174a72c2ebb481013f499a215d 2628 coq-hierarchy-builder_1.2.1-1.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 000ed56d5b26a77511bb762dbb5319f7 2628 coq-hierarchy-builder_1.2.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgI8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxVEP/3RefbkFYbTo94dfJW2U3rk5ZTCC7br7
+FnV+iO/T8taHEXobJkieyKQuYGByN9hMXaozYMRb4K787mxrOtjQy5muUEE/LUH
UOrbBdNsQRKPrgedC3PYpnUTA00RkLAI29Pyc6/+UlneovI3QthOYshLzTdsfVb3
rpVM2A52UdhBDWt1V2uoKW3Q632HQ1NdErYqnYP8zybAI7sVc/7YacG65pHxYLgM
ODu0xEbjfjOCZaQaAzdni7scbxfSnbg9ZaPR8a2nDwT3oZNhpftSMgUy7axTKSNS
l4KMsQZ/+iTViS1HoMSJzGYtKZDxBCgf8SYotVfjqkxDaXja+Rzr+0iLc8yQJG4d
0tUbUcXnixuae9iZFvL7wYrbkSgG6FNuaJl1zLCIh6vF3mQmTpbzf1nyGXbAjMqy
p55buSGJrkeb7p9hbeQ/Fq2GfbWRDpFJ9tV9o9MiXyjIGhbFRmRQhp82koEOssF8
lEOyTTS0EmoxRyuJfELYk22rDswPdzBKH48XNKX3DS3h+1oFSNZUzHY/HrjMv+aI
CnjvJ9tVN5LN1yrMgiN1HLPVIbZgLwzGonmituonvGbaYTFDlk5H6h4q9234dMvu
oG5y0BqwaIJD6FY1BHqs9BHL0HTUsz7kshp4UF0KIff55AdWF1qXJ0SGyZr599TM
qNrW3IXKshFx
=tS9a
-----END PGP SIGNATURE-----