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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.10.3-3build4
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
 29608970bfa072855d1aa0abe177dc2298f3b367 3232 coq-hierarchy-builder_1.10.3-3build4.debian.tar.xz
Checksums-Sha256:
 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 56e80e4d292ae471410d6932a99f96f84ac47754f5a09bcff473617d6c18f261 3232 coq-hierarchy-builder_1.10.3-3build4.debian.tar.xz
Files:
 d34079e82bea60c8ec3b1638629cbc88 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 d476822a247a90208c85ee44f028b07b 3232 coq-hierarchy-builder_1.10.3-3build4.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmqtYXYACgkQLIPbyOm9
DjcW8BAAiuqIcW/xDBv9/OINuaqtSUhWMBlwWOSd1q7Y9WhcCeFKrGAcYYdfzUUg
qp3+SkML9afs8LgPdO4JA+6SXvHomewAki+GNBn1EPxoAqMsCilvPQLrYz0mcISX
UPU5c2HN37xNmX7se0gdFe+LOBTGAT6FK7N5jmxFZ8RxxetGM6jmwtjhY81ZC+eq
j2f7sDmoqrgmnZ/4V9kUbqWT4G9Cc0H9bWJeTwus2jn4mQr2zX/j4rOyG0vQyk6b
powfPCzv98rZ5Ufj8XAk18E3ufoRBgNxK31fuHwrHUOphttqVh5Erzu3m2Rjjqcz
5Fl6LdaQ+OfK32b6PxLHSKMeT3rtS3MIKya8oPGTn+2omWmxbzc5RPVlCbTjl/ic
9rWzWrjGJ660DwPd7RaDbsTzWG1dPvfNmu2GTVD4MQYsx6ZToSubxeSN41HBKb3l
URFBay15sAks0hrN+zKZ1qKeEGxaIpDGkJkjopDdaxRvWoj5UHqphvoOdVllHWYf
KRdipGHntnTRblyi4Glf0L/hPiA+p1OGqzaGRaNC5hWmbxgZHNkclhz0Su0NC5YV
4ZOj85Ud866XhGSaGpwnqYLts9yL5KnxknnD1q4vGC6sVEugdirAMeK81OmDTDZZ
vjcUHqNa7V4KiCQiFqwkgq6qudUqlCm1J9dvZ4fyvw4oQ7AvTiw=
=LfBW
-----END PGP SIGNATURE-----