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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.2.0+1.12+8.13-6build6
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/mczify
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-zify
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-zify.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra
Package-List:
 libcoq-mathcomp-zify deb ocaml optional arch=any
Checksums-Sha1:
 709fc943ce093729788dc87614f951bb9412d02d 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 b992b56f2c4fc4dcee2ecf6def9893db65f70813 8684 mathcomp-zify_1.2.0+1.12+8.13-6build6.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 685a287c4655588ff319fcf471156c9cc31cec27e0df3efa71065c2df0b35b87 8684 mathcomp-zify_1.2.0+1.12+8.13-6build6.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 a9b0f16727d50481a5f4b3e113c99dcf 8684 mathcomp-zify_1.2.0+1.12+8.13-6build6.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPudkoACgkQ808JdE6f
XdnUXxAAmF+KxGzdquPMW2eD2Yb10d2HimWxUTqmlC9wgsdvmQPpL+nlaCMV8dCi
jQorYhYoqBMl/ZcnCYxqQS4we8050PLmS8aygieIQ7NnsnA1XkV+rX6Ww1jXlJTp
tia3ejsxyFnI4gcG5Xi7RPWevtXwRpQAlbsfDShrFuOxlmWaiaXcDi6oYSNdpzQI
QJdvw5jFWwYz7c84enH1KPwy4bLfMwPLT94vNoD5xke7nZxVBy/MG0AvWVdpTQCe
xOBMvOXYqG2Pln25rx8etdk/dIESWWjVhWDAVFAGTFJBH3crom0lQbRsc2Bc8bVi
QsY3g445x8vG0+eLY3mk70aKgpFiKM0PxCckQPZjzSPdzAkmNfHVTd1JSze4IWlz
LqyHtzN5nMhLmwvrcXbcQQZw9JJA9xfq5BcJkapI9TBjdDkfkuI76elJe7isQKPO
auSFYE+8DCPaabEDa0iMxJRn9wlsagudYNXU8jD3LI7+IMX6HlKylnumatbwVdya
cUtcrhqcuSmPptffxiWluHYcWraCUVsGtoPht2c3Z0d++CHcp0MHpW3wLK+/zsHT
7pT7Mk8KXsnyFtpc7lJybKFmUIwfTvOL8OohX0eBMwN8nFwCijTGt/DiNdeKtYYq
p9uHfRlIVisPbTdahwF464q5OmzoXwB1wMf/MBL/0Tt8MxCp9Es=
=Zzju
-----END PGP SIGNATURE-----