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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.2.0+1.12+8.13-1
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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-zify
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-zify.git
Build-Depends: coq, debhelper-compat (= 13), 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
 5ad505ab73e0c155ac6d5535274285cd6f0a6f76 8380 mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 4e11fa7af5d6eedfc82c3569099881b05caff61a9b19a8c8eef62ede99a4233f 8380 mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 f2f7902bdbb548c687d109ea6fa2c2c3 8380 mathcomp-zify_1.2.0+1.12+8.13-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJieL0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRls0P/3DV6LQDRtvGXj9Nv1x4WU+AW0SaISmt
d3hMc0i+GxIlbiNPmCaURS2GXWuGlzmTj7DqNMaZExAI4zpUYS0Es9Jsq6W4zyYz
rA0PBDxEmEfAnY8268L+Yai9/GzvxqueZ9n8y/tb8Rw4gIARiC3K3U/CWx2JyAcr
HK6uOCmL5kDsWiXt3YMRySYcF8x4RXLvQ9oQ4KXZlz7GFPrKPC3rvGOjFFNuTUPr
0i1pB1STqGrUOtQRtx6oDIOFRzFuSaExCWpQH0MSgezrbDW5OaaHU5vyAsN96U3U
Fedi9Riq0acdalrZ9XWdA1bMUDZAf3p3lat5Ey8yN+2AXPTOpAQDAcaBxGAqP4V9
a8sDKKApl7LOZatZ+gZ6ScYui1kLQ4rv95OVACPlO+bIHVBXGLp6SwjlPmrCQRoW
dENZO+gXnMPcyWC8oc9DJrYVK6OidVpzB72f1Uh+eEPc75sS8Q7NpK8LafWsBSn+
opRUQRs0NXB6nShkxs9GhsugQcrLlT0lPz8JaN68s7TdV16R4AemtZp1+Y5mqSa/
RnoV22FMtZwfkNSs/iJCs1ucorJs/R4HvcbTAK/6WNPXgWi8oSX0z1uF6UCE1tbJ
c7wQ/OVLNNM4TLimDkt+scACvShV1DzPUbpNvhlau0Ksy8tCAT7MVRuPVB/XEifF
tFsrmPnX4Jji
=oF/T
-----END PGP SIGNATURE-----