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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder, coq-hierarchy-builder
Architecture: any
Version: 1.6.0-1
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
 d82f833a10d00dca7f1b177e2c47f341142eb7e1 3420 coq-hierarchy-builder_1.6.0-1.debian.tar.xz
Checksums-Sha256:
 18904a8bcd945adbf083bfc5af3bd98afa182d950253fba8733b638913738d22 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 0a0df2e54ed3f0ceff913416daa0bc3ba5f14e99b42f411301da5c7f68b4fad4 3420 coq-hierarchy-builder_1.6.0-1.debian.tar.xz
Files:
 cf7c99cfa85c6efbeb69a232fd1012b7 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 fe0a85877e84d5ffe15d693ec267e97e 3420 coq-hierarchy-builder_1.6.0-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEYNQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoHoP/0WtF6g5ESc8jEJfPlxmPt6np2/k8Lmf
PMAyJxrQr16yX4n6iY0MPjXZYN7a4OuhU87yp5p3em4dIMPpqliJbDzLhQyHkHIG
nblQojSxRfCCgvhQ8xckKdg1aQzxDSh652HLbELBa1QR3wNyzA+iRVownLqOeoJ7
Zs7bUbmrwTcW8zWufY3nxE+pB3I6vTpudqu0dZ6jVis/dpm8Vn/J/tXiK8Tup7dS
+Fvq4rhvd4LlQ+5IBhYWp3eogtka4eG1Wejxn11kR8Xt2ojGWMMDRUIYxHDxHg8T
tx4HEa6gLzH8k2KVURBVDDwF8HqEJ0/ScbzIvfviD2d8wyg5wpPsEkzftOoGyLSa
B7y2LzwW1RA6WDLJyvAW2wkGQg9LiVC952lY58RQVShXBABu+ma0QtQMTkOiFLi/
Byq6GgbKPj99IcQdDY+IrRrbsgqYwSgPz+F4cO64voAap7bI1PPnPelpTo82RMz0
ab2vw3KMj1jXI8DELVvpA3E5e+uEcC8VjM70tZO24cqqwdijJbU4h/eI2wu+Nx92
Of14SbjjTwX3T6/EyFA1oTs/MpRfc9ciGhioRVCANuCR8h8IiSCfW4QuPl/BG1cs
XJ+AhxzamesTtmhgo9d3s6KFac7UbCOWDQbx/LTpy0sj4omxKGB2xYnV+QuWNwO+
8nYHvLeBmyjH
=Au0R
-----END PGP SIGNATURE-----