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

Format: 3.0 (quilt)
Source: coq-hierarchy-builder
Binary: libcoq-hierarchy-builder
Architecture: any
Version: 1.10.3-3build1
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
 1c553e15b749c288fe1a43e26717cac660dbbdf3 3160 coq-hierarchy-builder_1.10.3-3build1.debian.tar.xz
Checksums-Sha256:
 529d08c700c936c9fdf5658d8dfc3bf2cf5ef61cdd35604e40eec2fd349a071b 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 7a56f40394f315a6272e5c15b7941dd699e997e641a5d0776cd806538f526114 3160 coq-hierarchy-builder_1.10.3-3build1.debian.tar.xz
Files:
 d34079e82bea60c8ec3b1638629cbc88 623811 coq-hierarchy-builder_1.10.3.orig.tar.gz
 234d4398eba7b6094f55c1df594ec0d4 3160 coq-hierarchy-builder_1.10.3-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqVNOEACgkQ808JdE6f
XdlPmg//dQb4vHoEpyy/0DodGUEzVRQPQ9V+GqXD2RUWnpQJSvO+ZoeuSUh0DHHC
vIGDmDdhU1tvTjcIqud33DSQF9B5ULUCADz/UPFSE7cesOrGmZ8c0+41QMz+zCk4
9I4jFbNKq4z48g5+FaKDNLIMKWwa/PcYki7GddDybLMbtb4kJh90+CF5gmS1A8PH
h7+hDSTxEm8afBgHLqMzJGMHvsy7LgVv2a6j/cvfQR9G/8emwns04DeAd5ZTnApb
ftaFoXTACbah97dDa2vmae8SXzpr2hH0gde+xx9qN35etgtBxkl8tS6d0NCsoQIR
m63z40nO3BlNcCfvwEnD7OWVfJUbwJw4qb9YxBmmEbSv6vnsFtrAWNktpNGJOjUN
rnvft6FpI9qXQbTJaoVffJ8cCdyOv22EtcBBusAO5LTK7fJDspMZ5iA2pksK6i0K
VuSSVu1pE4+R40RtgofxuU/NzqAbLqSOPA9DkFxfCE6WfJ4TUts1pYXHaroyvpJc
IZJwDiW0PO70Aa+9BR2wWATpkCos1SBja8E3fpF8ly4+6tcBdxT2VV1xd9wgZd01
ky1JK4iW+mMpLQGu7nwQETROk8eeLOO78C7vLxPa/h3tqTVwuHgtc/U9dxFr4VWI
NULEf4ak7R4QYCvqGiuCxGsVOSvrkL3Wld1IRmaQmzOU+pPGyvY=
=lD8D
-----END PGP SIGNATURE-----