-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.7.0-1build4
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:
 libcoq-hierarchy-builder deb ocaml optional arch=any
Checksums-Sha1:
 4725abac8eadd73b813aac6accdac884eec28503 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 025db2aa2b3e2bebb1a4283e7d5ea59f42ef7c63 2880 coq-hierarchy-builder_1.7.0-1build4.debian.tar.xz
Checksums-Sha256:
 c9f83334067e5f4079ac26a89a32c5fa63de4d8cd2090ab882323aa9ba920f01 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 778ffc6fbec0a4d9d2cdd4ba2d4bc125322990c06cb56e9cbef6a87cf318a1b9 2880 coq-hierarchy-builder_1.7.0-1build4.debian.tar.xz
Files:
 ce0cc24816a0ce0ceb05cf819084b34e 206720 coq-hierarchy-builder_1.7.0.orig.tar.gz
 0a074abae9d8090359892517992465b8 2880 coq-hierarchy-builder_1.7.0-1build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZtsgAACgkQ808JdE6f
XdmT8BAAtjFh2JgPa7vPZzmLxlxSMC0MK+6Pm86Sp+eFPjf+bWh7PbetLy1TdB4m
cO/as7uR7ACaLqLGJgEsY1ICdLJe72EgGHdYuX/eKyz/X61nWsfmuqjUtEq3hRmP
460ycHEzeUqyniqDmSZKvd36FXza9V0Cyi+2+AAM29Wr9HBi6r6pquE99MuL77ih
FgGMtIqSfZ/2S7gVdCsoXuGly6/Q4VxhUY2dhArUKxqCSuf3OOm4WpY6ecmCinO5
8Z0xvDJSXS7d0MteUiBF6cVhL5iimz6MjFV70UCs//0Vk8J+59V90f9BbXmAOi+g
wR64agehIsky3mZ5C4znKFvdc23pTgzDPV7EC8t0ejFFY9WRL4/7ckytn9RX2LFv
9rjqZtydxWI1HoV7/g5UyPpfs6BQ03Cx1fx74KM0sulPdkYsXr5NwZadLTiAAYEL
a8lTcGv5IL/b3/2CN4vot30lu71+UVPggVJS6HS5z0EoHXl+9CNKnGkK2++1RZ4t
yar2IGS3R9BtOP0gYqYncn8+3b5pXNL770O0+48+oYgHr8emH7a+y1vyCOqMdbW0
dXGAwylO3YlzT+++0QEW3Q4TcjV6VvF5PtAMNJ5C1SdU93swlzx0LxS4sU89aoD2
lHZaoZqYiwW0p/MT9E91W+NwrBNDKe5f5C8UoSX+Nzb/fZxPiKQ=
=Mocn
-----END PGP SIGNATURE-----