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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build3
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
 9d2c1e826326752ee75956e9bb6894a108b6c4cf 3012 coq-hierarchy-builder_1.8.1-1build3.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 18ab2a3a507ae21cdc22d0b1d561169946af5f3e20eaa23b7a0e7966a31eb0e7 3012 coq-hierarchy-builder_1.8.1-1build3.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 e4fcfe49823edf499c4a85af5e08abee 3012 coq-hierarchy-builder_1.8.1-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmgbkLsACgkQ5mx3Wuv+
bH0UuhAAxVdXsJWUW9xRN8eJSs5henrXwQpu9umWVs8qkL4meYmIpwEJK2g3JLyH
SK/qvxu3SIuxBaX2yjXRvU5OPbxDda0JcEua/+NLgH28yn1mUCQvp+C/CIyeLeqF
9lACeT8sZnn9BtKtWQe3OOPGjVvNnjBWzOJkydCUVcTjOYP+B8jKG83q2i5k7M8w
4DQcic9nJdrU2nZZwzUlhrLfUjlgW38/S3wvrUNJNuxVqaQandFLbdIXFecZN92D
FqCTlZiju9WTGkpzvZ41gzjDJ0Hjtck2u57M+an50rhVMiVdlfPtVd9AKF60WHLG
3Yb/Hh3wXwABccKF9UEjE7iv8vwRDnVZ7WUPZOHMpJbGiJtp24KyzCv7s/Bt5WQJ
rEhh4AjpheRLC/i5St2WyiAD7rrCq1wCG6P6De4n4ZXt3uXFQnnnHmk6nyxVFRKG
8xf2ETQfj1Zx3f8K993PbGsiv+DG0KDcSk8Lop6B/oaR9lvHqrfx0VKpb8LDl8fM
nm6qZqO4JR0VQrZN9RaelnNFYV1KyITCFi2DmsczPaDsX+thcOk7nId0sjQ7Eq/y
fon+TU7896iSwUcXt/6nt4V8T4bo9l/DPN+/An8RAkRUAr+8XNQSJpKVfpuLzpvu
qbBVw5CQ9KL65wTMtiMl3VR7j9s2nlfgsz3JuWsejeKINCGHIWY=
=riEy
-----END PGP SIGNATURE-----