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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.10.3-3build3
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff
Package-List:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 699eb25b1a43945a696f9fc9492001047ae07c70 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 1ca5d4ac3f446c5b0a1488ffa0ab4c7e522d6753 3188 coq-hierarchy-builder_1.10.3-3build3.debian.tar.xz
Checksums-Sha256:
 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 570da9a3d5ef956ae54174e6847ca30aa64addfbb13d5256362766de2d669374 3188 coq-hierarchy-builder_1.10.3-3build3.debian.tar.xz
Files:
 d34079e82bea60c8ec3b1638629cbc88 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 e5bc333f35def7f9f295d09c54b45e8c 3188 coq-hierarchy-builder_1.10.3-3build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqiU3kACgkQ808JdE6f
Xdld2BAAvE8ca7U7MIkuNZShMEo5ETuzC5gxe4YyU35/hQTWRZe5mZYQoVQxOkVW
3b7cnhftyL+WT+Ea+wm7fYIpSUirpms3PzV6cReVeJs/eV51pHgUIyjZf4yLJ8XE
hwWFFRR8LaYnwDzn/V1Ik8l4LCszm0o9ft+kcskk+RtD+moCW4F0+YIQ/4rf0Tm1
q8rHtcGov3aqffBXabxf5W3VavuCSsQpuCB3mucv7sN80wpBe1y30MtmD9t46tIy
yJP9BUT4Fwknxd0q+vmJYUCBa26paFmK+h16Qh1d2yt0kqPi2LGI6DTIlr8o2gxV
ZqT9YLeD7ltvXL4TO6AnamddyBnrq+3bn1ur9NOfrvShN9L5vVFJXRzq+aYc0/NO
vQcIOXfSJxlD3UyTFRh+rm7th3eF/U4iP04iw2U5ZY13DvqZZAf5Qrhzwf0Vi0PZ
PJO8/6tSwNqZ5ywpMDyF3Dk6ednM7M0Im4w1fa4Rm5vj8wjH+B9N5GfuzC0p5e4B
nuytbDqRd9+UV1Lo7Wdd2fOR5xG0/uwITNGK7Nhz4I0WEJFeVvgBr/ROst4BJR14
XjC+JYLkdDBFFxiRCpvZ5Ox3NOviJuroYh+6Lrsha1CIjx3Id30VS6prVzvAqe/Y
GJHkKo2TkJToCIxB1wNjZCi1Gk6o1NFz7f/b+Jg51lNSN3aJve8=
=CoOf
-----END PGP SIGNATURE-----