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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build9
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:
 1641ef88f49cfa92943942109634bfc5a46c7825 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 a99ef60dfbaccd093a93968aaa1e09f3b8279588 3096 coq-hierarchy-builder_1.8.1-1build9.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 f1312335ec7691bf79dd12733c33a2e8578e846a7e28562acba35b97d597e607 3096 coq-hierarchy-builder_1.8.1-1build9.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 51d7d0744bfb3ad9e00b9523422cd8d5 3096 coq-hierarchy-builder_1.8.1-1build9.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj89yUACgkQ808JdE6f
XdkG1A/+NfyJG1b8P04egmhTmvz0QkkHyOOszF63jZWJJWCzzbgKAkS3fA+1wxWV
GjonE4x2L/t60+tmWAWnWwvaBVh5jabg3jfgJrU62aiEluSHgP/fj1xR6UqvEdXS
Vaxr2mszsHDRtgHJQ7XGwAdD7Wt29XhFfNLFvT9DFTAZoLm7mJSRz3kTJW8qYD97
V1nQfar+bLQlUEvL8w7zcs6gK3O8PmZfXUbv8TJrr9yAxh73jskKkagQ0rJgwHzC
O61muo198q0ElneYghk0fX2n4k27/35GrTweXA7Jk8JJLCuDA65L47bs0Z8LSJ0k
b3KYBoQWxzt8r7XyGzE1sJq9OyYNRCrC6bvvccd2bpAHIr6Xw3MYnSGfB6u3d9j6
PdyZTNJ02Ezp9dJ8eTkQxLzhd1a+9b9f8+KhcMhs5aYwMD1dXUZbh0jbob3DKObA
AXQSWefRZI3Wn1pp58ywDGEK7hjPwNCF2KpPrgTjlEcK825cnTu1GuwIDbcdBIPQ
f/05zziwM9du0W6khLEKd3laVIULWDDa470E7/+Pf1zrXp3y6SH8M3JTV17/3ppq
0LkbCBIu8I621ZdYpAuTPmS24Km+P0IMgYijicdPa8ZfGRvvWzx7Jy1xA7P+BcmX
f7ZDGFmFqrdzdg1sJdtxE1PxXdJHQa4NFFybBEEiZMl3btnhyFU=
=rXGp
-----END PGP SIGNATURE-----