-----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-6build3
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
 b9573296de4a52e9228d2267c23ebb78ce61c60d 8648 mathcomp-zify_1.2.0+1.12+8.13-6build3.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 41c7affa43bc3b8de05a31d63477cc747e509ff38ecd923122fb97dc8fbbb98f 8648 mathcomp-zify_1.2.0+1.12+8.13-6build3.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 f8b83fc9162ef6c352da70f2c28d0efc 8648 mathcomp-zify_1.2.0+1.12+8.13-6build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOLGxEACgkQ808JdE6f
XdnDRRAAqWmnsJpxNg9NCEsagZJIPMG32wACz3T8y/dwnGYiPk3tIPzvSTUrUC1o
FK/sBZhTZCUsSxTjY9P0Zf28bT4K0Y0GprwYvwOIETEGWg47D/RO7Nn+TVlpdOtN
Cqo4aRdBBZJQZJjDn3SUVlQMLx/3eVvvIktXmhK9gZy+cp8wkw9L6leJ5MqfDiDS
apqDByyZ6jEjGqyB25MM28obzcpCraVV/LzdxsXPjT53S7T+WL52A+LfcfH7tOxP
8Po13o99Yt9r1kufxKOXYcdotSKbEQdqqeQM77ckvfwHH0v0BmWzmtaCIrqfDr+p
wQVMXCwf75BVfri88HEzI/5mwMgEsJTfBVHUM8GlFrSo0roE8V/gB2vfcTUrEHyo
RfoRvhBwELHLWEJdqeN0XAkf3cWwm1J49SDRFVwmU+d94/t22gaXhlekXiDPcWdB
3OLIjNH1r5O+CPaCeXmxVLEYTyCgUDy8JNlihz2ZmWNH+5NGQeN3OVrpSWhmXKMs
xLsJULJEOJOGRTdsnqggiO8VT/aXlByCrgXwVf8gkFTq0o+QCQ+B+LlSqojXT/E4
Mdr1/q1ahasZ3x6xS7T2R1TlCIUWfkuPL0ob2oAl2/TpsEBUzYbS5twjDTUpj5H0
kd0msBcCKTGkMO4XUcKT8PuuNNx6JuyO9n1dRdPJY3gt7G0UKF8=
=6K+0
-----END PGP SIGNATURE-----