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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.8.1-1build5
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:
 1641ef88f49cfa92943942109634bfc5a46c7825 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 97a174d6dd4cd40202bc0995982bb11ecb7f8adb 3044 coq-hierarchy-builder_1.8.1-1build5.debian.tar.xz
Checksums-Sha256:
 aeb9c53dc3708e6955ca6960801fc3ae03dd93f7503b3a4e1031eac7fd16afbb 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 8f1298b58e641086ac15f775a3fd32123b7d35f4bc1cc4cbe6ebe05cb05b1976 3044 coq-hierarchy-builder_1.8.1-1build5.debian.tar.xz
Files:
 3f5f4fd7c3fea1c9dd97e63038dbb149 215161 coq-hierarchy-builder_1.8.1.orig.tar.gz
 dc586f07e9a3e27db9427e20862bb5ab 3044 coq-hierarchy-builder_1.8.1-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmhUPF8ACgkQ808JdE6f
XdkTcxAAlJdZQ0UzwR+xpSldYQmmS1rzxMAutSXOLIJySdRcJoRYQT2xUg800624
SSLb8GfDP9QG0ww1Q6xyKUHu1vXqZNN9rX5cNhVZluEHpuhRWeyJac07JUExX1ur
aP29TuA2/VfOZl2bMviTRx8dTIx6UYR/X+mGiAqmyzrq55xVyOH6LSQXmV4tDgaX
5awKBstmiFqKiE8rAaY56qPr6C9ocWUez+DP04X7S34VZ0PJ1zoiMlNxi6trceYd
ri3EwYYePA/keXYK2M4psp7shsHv0K/sw4QlAle9LJmEfqn1zPw/nXc1Fze65lI6
uqBudPFSeCIbwRuFkcSddmvEBml6Ptfnc38rgaHyYlGK4W7NePzNXf/5A8Kwsd8z
j8ruYdc3dT9lanK5gRDb1lI7LZ7SVMVoiIvnuLcoAdwrKrivrXqCp18juJtLe1SK
6oQQzoERLWGluklEqoKlGFQXrkSRbqG0X3xTImlhPI1zjH4tIODqBb1byfSBmVYg
ZvJXAkXirGcr/BKZ4mLsVZgR9uUHbwjbQZJuRJEWEUGoRrfGtCzliHWq+sjJni2w
hvhrvIJegYrQKNfw/u4POPv96I+uVl4hrOl8XbOhSbDQum+He/Lr/tHRQ9wwWLdO
nT9n8KOlR1odC9/jqrC0DYrkZKbJ4V/OWdfqe/8t5+xU1Qkm/zM=
=aszx
-----END PGP SIGNATURE-----