-----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-6
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
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
 196186ff1aa19a2e3d08d81f5066d707b87c24a9 2904 coq-hierarchy-builder_1.2.1-6.debian.tar.xz
Checksums-Sha256:
 a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 f502ddfe27874a137176fd86d4ba53c36c6a437501acfb4f7f9e903b79b4e111 2904 coq-hierarchy-builder_1.2.1-6.debian.tar.xz
Files:
 d58be118c53633852c814eb042f67129 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
 cfdf48276248c7afdc66d256edb3737c 2904 coq-hierarchy-builder_1.2.1-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJ71+gSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR8BIP/1c2epPVIKZd5e2iI4NG9BGH8k2eCd9q
UdGjwsI+l6BBjoxShqHSD4ObQxk+C4iWYepUJw9G3FA7t8lOiI2ldqKE70mL3Ogj
nanvkJvT+afRtw0jLdsfWE+LM65ZnmqeHVvo8fKUL6CWZSLXZXEDCQwzDxzMvPVS
ivpJdccTZPlRYHXCzC1ox68BKZHjayy/OPb8wfylYYYjminIGmdCDEYYA//u1Ywb
Nh2iT2kiHpWFFFS0iRVbOLlaBihfSQSC57HgTgmxE4j7VsAc0ytulKbgTgyhBn8h
cKSOuPF32bcjUu4lRiM/3m56kDlmIZESlChyw71gW/iWGY94YS4lzaNRIjiImcX9
3zcK0lyBe1rExsQXKOe96Kl39uMaGMP6JQxG/q+qeTC+77PtT/t4JDx3hMwLTw7/
6n01cemGAAGf5mGli45mX0h/092TAV9EOa1fmCLwqUwbZaK8KSPiLc/0VcRHtTbp
cBY3d1m3bJZYUxYQzM4OHh0Yco8mQ1OrSuy15qEkasAYwKWAP4BH6WSQPu27Qz9G
gApAK9NUTDQWdsH4M+yysQ967LD4AvroUCyRDWkqsIBozhh5WIXKQk5O9dJu0jXY
ooT1BipPugKrTtqq8d7S+w4fm+D8m+CNU6BciQ5BjydKoy38xSWeMBk4GsE62i4S
JP9vOzhH0/5I
=PjmQ
-----END PGP SIGNATURE-----