-----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-6build4
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
 69f7f96bbf8a8da279b8f2098f5326c2f5a7d664 8668 mathcomp-zify_1.2.0+1.12+8.13-6build4.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 5670d2f444d45fa76272bf45b0e1a54e7499e505d5d11d0aad0e957dff21cb65 8668 mathcomp-zify_1.2.0+1.12+8.13-6build4.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 9c87bae9557d1fd4314f636ee4c9ed7c 8668 mathcomp-zify_1.2.0+1.12+8.13-6build4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSPpUACgkQ808JdE6f
XdmhiQ//X90GgMWoWfRBjc95K9dxzi7fnu8FZF4bLA13Cpj8JzjzfbILI0gSoqwT
dk+Q5+K0Pv/f9hNOmwpInoFulqWglXBvK0HvFEaPehjHT/CZ04Qx0xCRDGMHL6QH
V9pMc6CS5J9tycyB7koqx5IfDzxwihUX/jntdwAz4EOIdo7Ep7UeNIUpR81xVT/R
kJLGY1TysnUgLfAVVqoQypAWo4jNgzBrY7QwoSB/SmeqRJxV3KA5kPgGa+LVoCqG
NEYE/K/APagWQt97QB0sl95Ed+qCSrvk2RtiIw7u8TsTSs/6JvpvwQnw6qGydEza
rN8Jv/Jlqw8FmRQQhP2QicWp2fZjK/Rqkj6f/KNl+Ye8u6g/An+zOevr0M91kAoL
Onri0TfTouz5+wyLFkcqZqdLIIlSHFbMZuns4LPRxpB/9BBNCYFWPsEDeZ76PH5b
iEokibG8Gsi2TpA+eujBblEVBKFZ7Lc7behfPNrgaMfPUPz5uKHVSItNvptDJ0ls
ue8fOZ54JCJlagNc3XnUPTkmOkecZ6VijqBGS1S5LG48+fysHg1L0nRkPubgMrcH
DXcYDFc6ENRfjdlW/5FtUEWjkUT6r0TGykT1anK1toxX/iJ3LCdpZmWAjoWNM+e/
RTHNNlRzoE+dU4XSAjcIrjjBPnfHsR3v++aJmG6GFkcDqV91eNE=
=oLYe
-----END PGP SIGNATURE-----