-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.4.0-6build1
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.6.2
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:
 coq-hierarchy-builder deb ocaml optional arch=any
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 0a416ce6bd3be7af9bc71acab905d9fa6882e84e 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 17e346bc7d269faa97d4975f5d07251a2bba58ed 5684 coq-hierarchy-builder_1.4.0-6build1.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 67e97b807e15da1bd6de99921659a87f11768a4b9798cda6ec4c18bae4ce0490 5684 coq-hierarchy-builder_1.4.0-6build1.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 5d12b97470427f16ac189709d65c48e4 5684 coq-hierarchy-builder_1.4.0-6build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTCPKIACgkQ808JdE6f
XdkLXw//XSSeT/pQa7IpjoGC6XAikmWX+Hk/xa6215PfjTFybSBqJW6KqXG03kpD
egX3Ti6yoZGt7oneLKHSJij9z5wziBIcJ15Y21IET90oshCB3davLlTCtgp363uJ
ysexNHhVU8c9KksLrozvB4g9+HXy+Ol++Ddp5GO/8oOHDJXoCce9lEeKa02YOcsW
LNAouFdJYFC6WUlW+EMFcmz7fIfRSbAzq7mYWuMykjx10+3Tq5DtaYe66Hbjv4P+
EM/U04+BJTF/CIcHdTttuz7Wj/4IYpX9xfybBCM7yKXSuW9KKi95u4wlOilkdn1Y
s1XDVX821U6utLQzY5bxG4uz+M6oYMAfk5e5yWsFPwzzb1q5XTL+w51MKFSbvib7
vIErBboQVMDiDJKiwTb3+zx4ZKoX60KaShhFCOWEHrvpUinxjaj5uIzKwf6uaD1R
Q2TRivw/YSKvSv9/r7JTEC9rqiPX6kWMRY/xODIk9Lt2+vEeiQaoXEkgsxhJdNaj
Fr6TV78J5Ciru3fPhwSBVhIMZoAv53iQcKmSDx0iQcbwtLUvks6q9qZrKTdSgYEx
+rWqE9AnuznYFYs5MMr6QxohE8pGwd5qo/nXFWEDVrRHIXGNhOz1UtecA26QCvfp
8EUZ85m/pxtMzRWFwWvtfXssNnMxALWzQwjN4LHlg7NQKQVLT9A=
=LW/F
-----END PGP SIGNATURE-----