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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.0-1build1
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.0
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:
 521679db8ddf228783e1531bdec915076bb00906 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 43446b3ebd162cbbc981723ca2f8755ecda121b9 2928 coq-hierarchy-builder_1.8.0-1build1.debian.tar.xz
Checksums-Sha256:
 c5eaaed3e3d224fa9bdd10004b08c087affe52b74040256a082a7efb2865f483 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 042ea04eea6fa076100c5d3829d1b2ada25ed29056964a093e9d28ad4c6db76b 2928 coq-hierarchy-builder_1.8.0-1build1.debian.tar.xz
Files:
 49413dfb1393cffba70356e18a01c7c9 215632 coq-hierarchy-builder_1.8.0.orig.tar.gz
 d69d9b56d31969c6f12e353ccfb7ba35 2928 coq-hierarchy-builder_1.8.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdkwBsACgkQ5mx3Wuv+
bH2XhBAA0h+3o7+PjaR5Q2P265Dizi9HY1/r0C4eMzkFM/CN1GdnlbttVtC89mp9
6IpELAsnNuz9DaX0FwUdyePwWydQzS66gIIuUEeWR1rxSfogU1YDuVQKkvY6KchX
XY7YayvI/OMuWyNrHkrjdES/nr3t42Lx4BWCqRJMQvJ38sD8PJxuf6HaR5JRMagR
LX3xtilSFKP3/AwHAJBF+wJhkILyTuQ4qQzT6GG8dbC+NKYwWfaErPWsRB8khSNZ
c3h/Tu+ADN/X5yXJO6xo0nqJfEwOBcZUHiAkV7iD6Nm45KPGlxqSl7dKBgoP2nNR
rnx87M1H8W8pSwe5OiJ8UkQ4Oy3ouwUNHQuuAmeC8bFCqR8faoaMyUY/K1M3qyzf
pX6wXgLzJGa8lsnCyflKPIc3YurdbzhoSm+sYZfgm29475pMloaX1DJHCqItdtbh
DVCb1T4Wl0EMAK0rN+nmpcMs3FhW9Bn3qTbXBZIQCRL75YHfjhf5Gc+YKyxipfxb
dlxJyEOS8potH5ikpwLQcsleoNGJ4yuGyKU4nIkvVJmYWYIrRN7TRn2z5CzWsB/O
zb6oKLu24MnaU8G58dhx5FTjb/xWFi7x4UpV0p3NtmHZuiKidbngTR1HdQCBRZSu
MTZXs4arNnsLZtu1cTu5owjP3wAJC8BUciD66lz2FhMioLusu1E=
=Kg5O
-----END PGP SIGNATURE-----