-----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-1build3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 d83a1e8fd2b4620168198e7d859eea6290cbb6f2 3632 coq-hierarchy-builder_1.6.0-1build3.debian.tar.xz
Checksums-Sha256:
 18904a8bcd945adbf083bfc5af3bd98afa182d950253fba8733b638913738d22 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 641c4d9a224868860ff265458044eee527ab98661a0b7fb98741a7ab98c03034 3632 coq-hierarchy-builder_1.6.0-1build3.debian.tar.xz
Files:
 cf7c99cfa85c6efbeb69a232fd1012b7 202232 coq-hierarchy-builder_1.6.0.orig.tar.gz
 14b1aa92df45acc6edac9e3a588ace09 3632 coq-hierarchy-builder_1.6.0-1build3.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYATcsaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz10Ew//dYWtf1TZATIEC67xOxbr
OARp/jXAEdZtrkJkRqkG+pNqHozWzW7+LH/0njWd52nzSyVaMMsmaO5TMj+L2AtO
oyMTiWT0BfiZHfbdDEggt2VMdIr3GtfpwAvsI8faaHop+6OyE+n3xPPKJ+DBofQt
Bdf85Sel6rxtK8zNCM90Sxa/CGmyjxbKGEI+FH04eCZ9K3s7cQK3531jGkooEBTA
ppD6J0BaWoSlbhxzbAHqpK/YhkpNdQLPkSKgtTDo0ZI3MchmT+6udx1qlUbv+zF7
WcKkYrVMITcpp4yRm8lYaoalgCh4HQViWEu8WMRN/OGrXyigSSyM8oGI+AW7au/Q
uG3dAYOXYoLAO/Oiw/TL0b8Rhe5Lp+5JPzEH3ZbmI5gvRQIM68Z9op40qbxVPuDR
hqCjdXFfVRcVTRCg1WX19jvRE7gwFyYX6cTaPuoL9qhLetwqEOJlcoHL8sDH1ooO
HTSOohuv8KwH1JqnyTDbY2YDzvE3jdC0r7zErfuyzSUZqR+xad5lvHP4c55rSusD
63b67Bxj54SkcegnG388haAK2qFHPfA/6xVspKGJghxk9hxUshqZoGPvPb/dlfvr
4pK9cQP9UaEazcsrEuFgs7kECrCKErOA7uLlOG51L/CaZUUW3nOTgm+bMd/Ye5Sj
/GX63nwgQYtzO94/R0zvCGA=
=Z1pf
-----END PGP SIGNATURE-----