-----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.3.0-2
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.1
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:
 45b9670ce4dc977d2af1edb7ccfc7b79f22bc217 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
 0ce9fc59390ecfa53199382c5f4256fd5b4fb39e 3380 coq-hierarchy-builder_1.3.0-2.debian.tar.xz
Checksums-Sha256:
 8d4ca09a08793be19501ea2d9e82da1cd413feb9a15e5a6e0c183404b8145c76 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
 c4b557adfcfd904ffb13dbb4d6a2dc0f6e28ad603b211fd2334478fb32bcbf02 3380 coq-hierarchy-builder_1.3.0-2.debian.tar.xz
Files:
 42ef8d7c9f81a71b360214b2397fd52b 200135 coq-hierarchy-builder_1.3.0.orig.tar.gz
 d466ede1c84feafc0dc8d649398fa636 3380 coq-hierarchy-builder_1.3.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWXNsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRmnwP/1LalJeXGlavZnwdhs3Kkgw+1aVW9PPc
9p0KMtOTU1BU3+Bxx1H2BIM7/os7YncDXl7y3zAn/3T/FU7UfTBnSgAgvsamYRcZ
8GukXFwH+qFkDi0FjcVL8zRFzrdZEGsWdEYYjYRKQZb/yNtXNwltzUNczVLed8kM
cw1E6tF6AHjVA7B7VEgj4kN9lbleBCx2FQZrPlFFUtdPGdFUqeqnWV8JmMmlqz4o
Qff4SZmms0JBipgHtr4HSGblU9OyJkbCynLHnV+7tYzkd0pK2RNmFN9Ki+y9QA4s
vkpBH1gFQoj6LAhlUN3sg8ezlrqX0u823k2+M09xErnKiUzehtO+J9KTxy6aXit3
o4DYKihIvXBv/aiXpWiSWYPNsU3G+dBNcAWK/1gvF9zNz2mVOJkuQSu3I8sQ//hy
0xXEyryfAsCf8On5HwMJbZHterd7G0CMt3I2Sf7s1yP8xHV0xCY/Ynd/EZlnsSm1
yOkKcQxmMrtQsVMnpM1oqayKSdJi/1y+9qFY9GHk9E7v1kbPPNcpUhQLWWqN25RS
UehiU/gfF0eACVtuKQlbqiD+65oSX3MUMG/c7mDkF/ZJ7hHsAukvEbWw/5kxgNtl
ZnebO9Iq7V8Y1nBq6VpcNM358MdKiXNHAK0sAOzCP59B27MXtG8+4Bgva4Isamvv
deZ6/N1tXHwH
=PSdJ
-----END PGP SIGNATURE-----