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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.10.3-3build2
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.4
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 (>= 9), 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:
 699eb25b1a43945a696f9fc9492001047ae07c70 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 d97cdbc9c25962d09a3adca16206ca377afd8802 3180 coq-hierarchy-builder_1.10.3-3build2.debian.tar.xz
Checksums-Sha256:
 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 69fa83b00504d290e675a5e04f5dcd89dd5bd2523ce1283809c575ab338840f7 3180 coq-hierarchy-builder_1.10.3-3build2.debian.tar.xz
Files:
 d34079e82bea60c8ec3b1638629cbc88 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 5fb2a24eabd6aa418a3c8d760e9e2a99 3180 coq-hierarchy-builder_1.10.3-3build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqha30ACgkQ808JdE6f
Xdm87BAA3rRw/AWseBZAnAA7CnsaGF4l6bTOV2+FXYZkZmivciksRtagcdSwIiyx
qTP1P+X8RuHt+ol0HcoLEXQUZ0Pi6ewpyAT9AACWcd+2L/hU47H8AuwzOWI+WTyv
/C7rKHI69QPIOYx4ZCY8YCDYSCW7XJN7M/bF5hA2PtLJ0FQWbtEKzrmYT/2L8yQv
6KFU3VqV8DdJ4l1oElIIb0odwV76+HI3brg8VA3m0KFWnMyxDQY+oQXx5vYc1Qu7
ibdLXK+2WR+B4F1F/CwPaKCUBmAYCXPgI5lpsVvzTfaeqayMHujA22xayTfykX5X
5x6pt1yU8DMghKAy+ZhbvHftrteNZTizikIw+BrI4yx/QS8eY1Caq1yZE6wGlW4d
YhsR41x4QgEluso54rSQycXjrIgYEoyDitNzO2bxdCATFSqgN5dJxPIogHl11E7e
Vory3Kt16ue6OGyJwlyGEo0PovhtWmvRkdY4YzdVjNmBPkNQf6qDDtwGXT0qNWGe
AvVB1nMh52q+gxliUFpO7pkt5HAeNpBHcXu+d6nEFPw4iLXpdV5lXsCpKH0+wn0f
BmoeR5/FqIgqiIwK7+e+cHIjJuumkMlLs/S4jvW6/ykIFBgco2hxMvwQH2I6Jsli
HxEKaWuUjKbtiV66nijcXMnXbv23SWSkoAsuiASFR0Mtb4UP2gs=
=Au8f
-----END PGP SIGNATURE-----