-----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.6.0-1build2
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:
 16339cebe64b37a98e60db99261d0f29a2ccd3e4 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 25de75b94d308b8f3b95dbc93b2bd0c1d1339cb2 3540 coq-hierarchy-builder_1.6.0-1build2.debian.tar.xz
Checksums-Sha256:
 18904a8bcd945adbf083bfc5af3bd98afa182d950253fba8733b638913738d22 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 6240bd82c516ca1521340078516dd1549fce46ab606d5a1803a8c1d8e65ba61a 3540 coq-hierarchy-builder_1.6.0-1build2.debian.tar.xz
Files:
 cf7c99cfa85c6efbeb69a232fd1012b7 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 8338c2b28cc60db88f7d3b18e2730db4 3540 coq-hierarchy-builder_1.6.0-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/SEACgkQ808JdE6f
Xdm77Q/+N6h/llGEisPH8mwPplgSji2IfgyCCe722iQAa7yXcImr0FUuopnYaTuv
18nFtgYCJKHHiqbPpr2tkyK/vLTbYhIx5CSm7fZNx/Xs7rj99T3adaqmykTcWXbw
YDV7xU67pwFmLiePphu6LiRvGd/puOyAMeWxQ8sfO1m9enUUcw7LePvGLKKY1GPt
zggcM1rGGxC53uGW0ZCSuExSGKvzrAgQnKRz5lS+tJ3yLRTkbLShu/WhPKu0EPKq
m2LxBtBqLb5fdvQsXNRUohYtUcEV6VWHiH3sqXxs96/DAIxBUCRHmCYbNwTyQCt6
SLnXB+GHXsW2GgwVl4S76TtNwucvMUir5I5IITEzI1ITriRJGpE4N4qWNfraC8Ht
4wHDrhp6LL/35cOvUeE3pVly7/If8xzYS1bm9Kf1E58/Gjw1AOuQLU7/0m/IgB2i
PzTItxLhab4YVZnYA1/iioGDSJnILQ5P0Buj5467RFKIdMoHK8o9QbbFf8rjFfB6
RnOwsxrNiXSvn5vFK2ThVyixJUgorY79K/itYOUbjQfZHr4yNPHS4Kfy6lUg15A3
2uBAkE4fXAGXRlfUuB1+gjkfC18CtBxud0IusG5w8oqS9wlssVVFBB42htgk0Hs8
V45rTn3DuQA70gP1TeIB0nDWPQmM37k6miCFzGbFqJguufOm4u0=
=6ZcR
-----END PGP SIGNATURE-----