-----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-6build2
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
 6b525503db3ff2a93f885d93a77af5a2a86a33f6 8636 mathcomp-zify_1.2.0+1.12+8.13-6build2.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 ac6446a770e8448f09a0a5aaec9fb9af4aaa3b8113ddea6a7fbb5fa0cfaf0db7 8636 mathcomp-zify_1.2.0+1.12+8.13-6build2.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 5ca6d3b4b47129b8d467d7f64583ad49 8636 mathcomp-zify_1.2.0+1.12+8.13-6build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmOAe+wACgkQ808JdE6f
Xdlg6g//S8aJjDUsNqJ2bNc1kC5kIWYsAt2qRJQDjfx8Do3V1PgYPuTM6tEhy6D0
46IEoQEI/d7AHebN0O7tk6Zh0plhA1IkT7fk+uT8WYleRRWKM+9u86N7lDa8AXHg
HdWV4cVsFSpS5FTjrwn5+oTtxC9VLUkth2E0FpofBwHpxgWQmMBT4AJGJGJIuPVO
j2/AtMDAqXxnPa9wfxVwazk0bp4+vs6BjqdPFH3tI6OP32hOQDBWFK8dar95RW+0
7m7l05HHk+l2WV8DnYrGlLr53OuKMwY+UxVbruJySBqeQQ1lqQ7Z4MnncF6k3FH4
+P3KGpSRVo1aAazzVqq3kUDRzgJb5fl+C69Zqr+RnIZupqOr4Dqk5n4UaFveZ6ys
/A3wGcx/iYSb9FKaNnajwt9E6GXmsoya7On/luCGbFYPq1nQ5101eCMT0KGI74A0
zRzZYYgJOnp7yQAYzRsOX3ZBe7kcavINTxNPkNiCKurjsiSn+wZoqGJXyBnqir06
lXf/N+L1MTzfazCIZ9XNWnLbp052elZBvpfFfFvFjR452HJxf2IXnmWv9HbfJt9p
UzCLuNm6Ex1MUBUl7R3dex9Dfujk36zdf6SRuOd1vgl0Mobq706KgTzW59TRvfjX
hjdAHSEr37Jbj+Z8hlcV4d/f8IMwIfFZM9qA/VrgdYtj73/pJgs=
=lg6O
-----END PGP SIGNATURE-----