-----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-5build4
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
 de0bc42fe6bc7d0a48ec67fc9d0e4f10fa5f9bc6 3852 coq-hierarchy-builder_1.4.0-5build4.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 13a6e22dd0b9f3ba3034fb03e3d405b8d9290650b34a378b7f7b57e512945cfe 3852 coq-hierarchy-builder_1.4.0-5build4.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 f5fe7cb609bbdc929183c4bdaa247037 3852 coq-hierarchy-builder_1.4.0-5build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTAq68ACgkQ808JdE6f
Xdl52g//YiklLGPbIbDqjNXt9Uq5IPXdE9ex/EauKfB8kWSIjuNmBxS0K9ugiUwk
NEISIWlSm8bmyOJC6qIE0krvhPc5KK7QOFTs9TRLkW2Y7mec7Scxpjl+ajh/88wX
FdEnFnK3aO7YgIlmcTE5bFl2LNEDN4QiOSwp8e2rQ+LxPsiilI2eFu9fAmYs1uAR
k18zUFj57HkhXnbsj8VYfk2krmK+YQn+q3jXiYtOW5eILVE+7jYVAGMJKgTeYeoq
/1KzJ/pstlo9980vba/bsNq1s7KAkoBy0HKOtsdcJJSqvyCEIbSPtX8R8OtqUJ6j
WpyXRUxOwavKbtZKXc63BFZT3yMHVkFZlwzbWUCw0Oif6A0j1+3IRzytJ10z6e9I
BKzShUKAdd5CvLHiFRGfLTSh0PAt53VA1cCxGO5Kmiwl5qg0P1/9APnDHVawbp/w
LyD/OKJaEKOvqOcS6taOwu8TvyA+1WWMwaSBaH0jQM4bCKA94x4bjVC6QChcE2RY
4HIOd3X7bn/5PNhFjaZNzCP7kQUkqlu3xdivCDBdWUGcDzQWP/3jkJ6EXNylbuZn
6t1NAPqsMfmiclB8DeHGVrMK5yNNUey6FkgwzDh8Dkut5Yw71m9KE+Ezh/BcSpA1
YiQ+aEKoF3FkS8pLeliFmKH5xmwX8hpnWP4Jv6t/qpId1fcm/Ng=
=Wpkt
-----END PGP SIGNATURE-----