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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.0-1build4
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.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-coq, dh-ocaml, libcoq-elpi, libelpi-ocaml-dev, wdiff
Package-List:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 521679db8ddf228783e1531bdec915076bb00906 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 405b5bc50bbd6511576a7f6012d131bc1ce7d6b6 3000 coq-hierarchy-builder_1.8.0-1build4.debian.tar.xz
Checksums-Sha256:
 c5eaaed3e3d224fa9bdd10004b08c087affe52b74040256a082a7efb2865f483 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 6ddf640841d77526ebf27f409a8bc9f4674065d72f7630dc69f6d4963230d92a 3000 coq-hierarchy-builder_1.8.0-1build4.debian.tar.xz
Files:
 49413dfb1393cffba70356e18a01c7c9 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 d3b78c7087758f6c90ebe608da5c38c6 3000 coq-hierarchy-builder_1.8.0-1build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetCl4ACgkQ808JdE6f
Xdle8xAAwirjjqbkBgKkI9iXkcrsBKr9yLRe0/RDE1gZBmxzKNqRl4OIcXnVun0B
CNLsLt1mutfUE7iYKgOpZNyA892Bhr2ijMS/6wlzXonj5T0B3J8+x1J5jwSAdwZ1
kjwN05WMYRE1XwFeOvh3/xWh8QZtmCHV9IBniK8Dv9DhfwkZJ9jDwa1nB91AFc66
h7mmM+ZhepB4Jl218uFAtITh8jLOC76vCgzDqd+UxL3UWKFAHHIaFN7VWgff0DBl
GOTNCSJQ/zRRcQdMdnoUES5enFJsxXrZF1xU15L9gSiA+d8z2rp+VymXUGpgkCFd
/+FhUWVwI9CMfgXf7FCTthq/KCLt6St5tLTEDHn1Ycop6sAT2gvHbq2Zm8ehTMBd
P+gDAMk1YHBzJURNNqKbii3JU+huoNJsPDBTAj4hbnL1CYD6OVSuNpe8ISFj2+o7
AaBwulhZyCUga3a0QyrWPl8zBgBboebfSMtU/iZ5pjV2pISRp5gqzHbanFyn9+d9
DZjgRXzT7KUv7e0yqcxzmgCCLFpf8jTBDwTnGZ+TdVwbdwPeK7yETYeHGbBoFmSd
qsblw3nMAHykYEwJDBjfessXhRXelVHaXe1DnHoKZgfBIAv8IEn0iYgjnpnQIEVi
fDJM04AAOxfAU5vazdUG0YUsgXMb+78VXWierXCwIXRk8lmf2+Q=
=+UCH
-----END PGP SIGNATURE-----