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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.10.3-2
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
 9a9fd6a83115202cc9d9f6c94fccebf0c9933e3c 3060 coq-hierarchy-builder_1.10.3-2.debian.tar.xz
Checksums-Sha256:
 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 4bdf74a374da210eb5bbbb9bfba0b5f5d908976fa9e90243154d3dfe0d364d63 3060 coq-hierarchy-builder_1.10.3-2.debian.tar.xz
Files:
 d34079e82bea60c8ec3b1638629cbc88 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 6e12cef82cc9894a9f3f814c819d6dbc 3060 coq-hierarchy-builder_1.10.3-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1Q8ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSapD/9ixrWSUOqjAS13xl4bFhPu
tEqgoHRmTF+xLndGXKqAsJvRe9jzz+vHArF3Ryl81klhXo/DMj9SFEspCOtjbY5B
Hh7A8pg211Ykvxvm5LeG6IkRzQeSadgHQhczcEbF2IUKnKGUKe5566GMNz0BLSm+
8hg1g0/hsdH9kcwQP6I/BpuPsyCfypM4S0VGD45I+uq3AmTUupAIkk39m+lAhEmK
FPxEjE/a8osRNJYDhoSui/pHG7t5VquKNUxr1QMOsdjy6oHa15TunIklEeic7hQ3
XmAIqYcYhlez7/CQyi12hD/hbIRo1w4FjkgUpjzYkrWbZLv7f0/KR1IxwQwgZ2ZI
76mvoHlmRRkuZi1sPW9QUlwNe1bayuqJjD2ifEhmw9dxmFJcw8buolv1KglYhiZi
USPmWa0uUhnzemsuGcZ3tIJu16AK27PEgTthwS5UQgx7M3pfNsVcHDPQvecLnyAK
3STVFSkB8mz5HwPaCo6OyhOt5tG3Fu+qG3RJyzqE5PKVLSRX01E780OuZG7wYQA0
rZwiQS40MzJEVJ3XBuggytjpGTQ4njL1T+FCSeE0EWLmSCw7pBUSX81SQWOPCGUi
ebLIGd7hz0nwwEfbSWIFhBfJmfpRbcZcUokpZYhMtxL8hE2vXe4m1CArI3beg/C7
54qRzqQOqqg8M9nDT63M4A==
=qnsq
-----END PGP SIGNATURE-----