-----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-11build1
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.1
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, 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
 375ec505f22730313c1e94668118fca3c85923ce 3840 coq-hierarchy-builder_1.2.1-11build1.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 04be821331a03738746c21489420f9b2c5fd370e24094d43f96ddcfb53e5d762 3840 coq-hierarchy-builder_1.2.1-11build1.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 f9466aaf18dd943ace07b1a6c1ac1a92 3840 coq-hierarchy-builder_1.2.1-11build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmLZeT8ACgkQ808JdE6f
XdlH3hAA3smoqzBbb6iaKD1qYrtapTjrpMKobqb4M7l3JeDK8IQeuJbR4k75ueqU
oQz1uEhvLClinSesDy4bJay9vKJ/gr4VATM5O0b+SJXjjE1QNDVhGwtkSVjRrXrm
WkRGVRLMjmALvzvUu+RNteGF/gjXW2NMSGg+h2gBarw97zfUdei73NeFYCIwQsjv
2cznz+VDMgucZ2194HFNzKfbvHNtkq+l0j/FqMn7RUz4idDOOqd2570K4Pg1NlOD
kNMlhpqaPnRvaiGT/BDk+FxI4sD4lF3hK9p5sceJgXdBWA2PoxKBMLiZCZPuHUHO
CXY9LS5rpk0qPJMQeP0+fDKelm2dgLMC3VN4+jFL9XSSiiYDNLT7rGJD1rcOSLjL
HsM07XEgtUjympX6xyR0Lz+5iNEUeJzzkap04+crqmFQ1ubEQdSLV3wUAklKCLz8
N37hgZ2eRJRuPz6DARhaZpVtmCAt5tRBqo2y4ZV0G2Hz8586EHgMtwscmvZ4xpjH
PfuzcKYaT3tBWL5g0+6cOAjIFzp2EtvLuv6WpJtCoW6XsexKrIxELQbQzGdPJcUN
otDFWl0ccFET6zgbovfX0VLB31oUJHO/CWqACT/i6tm944DBISZIoFfXyK8DFAeU
xqFhOANU3/5Y5vFymT1bp5PnCaX2sssqfHKmCcEag5nqNKTkUc4=
=+mlE
-----END PGP SIGNATURE-----