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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.5.0+2.0+8.16-4build11
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.7.0
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:
 cb3d53e9c1680fb90be08563bc6c0f14ce4779a2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 c206b731251e910c8ff8358146caa0acfe003519 9016 mathcomp-zify_1.5.0+2.0+8.16-4build11.debian.tar.xz
Checksums-Sha256:
 5988389c6c8dfde4d2f3a370278c6b2aa1b5a0f56531cb30b0cce2d550b4387c 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 b998c133c7834f4584fac8b1c236ccdca0d0ff11602aa09f1d1027d1627d1e6f 9016 mathcomp-zify_1.5.0+2.0+8.16-4build11.debian.tar.xz
Files:
 c9d02b943ba8148a27ec3e02a21bdcf2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 60d1fdc9e45446a661f98cd39deccfb2 9016 mathcomp-zify_1.5.0+2.0+8.16-4build11.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmkMVtgACgkQ808JdE6f
XdmK1A//eH+4CsevhhxJColLsQkwUcjXwczONArduqGaii8j16wk42WV77UsbtD1
unC7cOAX5c7PJZVJxy4ENTLy8Cs6SyPLQTxfOqReLyW23DNZ5Es/+BdScLCLFcKR
QDXfSRNYqYfXjWUOpAxQi8SQ7PGBmRjnf+4t8Mwz1WNWDMzFMR97Q0U6fTjwBwmV
csaKAbXKYdDMCmL5ENQkCD6uRzSG4k4NsqdEMQSd2Et8dOImLjy+2UsBWuKXzna4
GZQKvlMWd2QbR0rjeMnm/+J0rY8som9Vp5aC20rnYaVbokHrqWuq8rQILF7PljvA
IliAovnP3hRPoW7AL7ShKMQMtKTQyMDXB6hGfaFm6HAIxv/LkoX6zPdcF21jyOnn
5nMoOysI1J35LTWRmiYgM6IcEYSuPyc6CHHdIx883LBJUcK76Z/o+Sm35P1M0SVp
XW4jUkteMKY7SfYm7zH59gnnragQ63JblkqrGxSh3W7RlrdNlDCDTwbuVUZgzQkB
3f8jdk7PtHyKYaHoKB/0Ie4cp7WzhkCgV+acdozQHAjuzqeW6pz/INM03TgDnpFP
qc7N1Tol+ucVnSVcTS1GI8QTSWZWhQ5LuKCo8+JVf0wv4kuss7C8Yd4hM5iEvvHs
zqzOC3QazEcdE7P3gzkurL0upcnjkrKffJ0i3Pjr4CZk5Feony4=
=nC09
-----END PGP SIGNATURE-----