-----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-6build4
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
 ae448996fd92e79079424f792a756e0d08852fa5 5732 coq-hierarchy-builder_1.4.0-6build4.debian.tar.xz
Checksums-Sha256:
 96a3c5dd50b6a806c02e858ec46f1a46712fc92605aae3fa86a9de4440c99d99 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 6f4e8d49c75643405e1a42bb6dedfebc38941b336fb70de4af1f2cfa2e13475f 5732 coq-hierarchy-builder_1.4.0-6build4.debian.tar.xz
Files:
 2fb08ce2debfe46a48593132aad748f0 201673 coq-hierarchy-builder_1.4.0.orig.tar.gz
 ab4aa31274e83884cee866317eed8d1c 5732 coq-hierarchy-builder_1.4.0-6build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmThwfgACgkQ808JdE6f
XdmNghAAl6ZeBLNz/XqOrBU4i09BVdvpPIeCnS75BQp0AV4GUIvPawll0HDgXjvF
D9wCx0Bdyk39+lVw1XkyzMbuxxzW1HGc0D58V86JqcgchsJbpY+dtDycAVTLcrCx
rwFmpWtZ+ZuWcX1KFNAOl7Ts+/HHuhRkM94eiPK2eGev+KlqkZKVcrNZhStEji88
QyuFiKKh+uO0JFuhV3xFi0UJY6JYcy6lgz3ZxRQPrLKQrxu9+bTaU6niDpuRHQ/0
nQ1lEiaUIibXiWKoD73NaIV2+3T4vU4TzofLTSkRF/C2RbK8zTAI85tNW8XH1Q49
SjtNI40ljKdNutNIctuvQpmwof3jfnKoOCpt59ahzOu4gN20teXkcuvw2tcHhexF
WT5dptR465u+8qK/41tfhsCnpI5jAFKDqNNA2gHWEA5n46CxQRJoQB2ICqgjzzEW
GBl/bHjCa/lS8HNwl1uRydZ7rvvFcVXD9Vg3d2OrtY72Z+ZJNa61ZRfMLPcOaJKU
uTXExE2PPeqHurG4uA2efjzZURzZdidQTPcfX+PpF7sDRXYaCDxTC06ctzpo5/P2
P4iJCInanjdk1l3L6jNmE6G7GMSJp5orNVuAQgBmQrorK5cqnGTwKvpIZ54MToNc
w7R+pRYtWu3IY5DHdUzfGp83RktSlrLNQPo9eXJ3dYbGSs6oEl0=
=TLrf
-----END PGP SIGNATURE-----