-----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-6build7
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
 2f267d34b27bebc0a249d739f33b3e0ff517e7ec 8704 mathcomp-zify_1.2.0+1.12+8.13-6build7.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 c0d35b67b4a0a339748a55c0f89a7a14427918fc5a3903cf77d975a51bbb54c2 8704 mathcomp-zify_1.2.0+1.12+8.13-6build7.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 34ee0c227ac0d932f9df0f09b0e813ec 8704 mathcomp-zify_1.2.0+1.12+8.13-6build7.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmSILEQACgkQ808JdE6f
XdmYUQ//QacCYr4X99UqskkOPWLb0DHF4Qcvlbw1twC7AbDNYuaoncbN0iYeR8hc
h0SL3YoqQPlLTRT5Kjbmy3YQcr7DxJgvnJAnm6PCFdFR88+mLVYXQe+o9+Z4LCYC
EPTwe62C4EutVzGTN5DtTP3G4tPukLgL0zAohjEaLb08oss2jtT1ghECge7zICI8
cRtnITuyFxKawAc15RAbAzc0SUoM2bJ5v3sNB9aDA4tanuSAx4ei4c5rn2IdB1eG
fpOVb8COvyH7uoREN01odxQjwrQ9q429dE/pkDzDI0M9PoajvHknptIXRVugYuV6
WxiWeB/DmLEfDCXamP7wv4ZIzYyZu6JGQ8jzY4WbIT8m0xKsgchPiuGIH07mxRGH
jklEw6MB/fmqawhXgj51f5Hr6vZBIsg8RFbp9GSDL+IzfFvlwwEIGoSq5KFn4Oih
PXMPpjw/d7HgwHP/Xm/NLkqKrcgiP+KeInnOVgzhB1uIbowJj8jbCAr9/I2zgRTE
yCFjcf6/03sfrGKmseDX+A5UI5BIILAXD/G3/hD0nBFqLO6VTLz9t1ZVDZlgth2i
0/+E/CBk7JDLlOPJP7i/5WOqs7G6DFwXK1w7acdgTTYMms+JE1RrtLXTbRxfU/sy
jFOiRDnKINA3IchO6KcnMtXuf9PCyh9hEE2Cap+8DrZCgN0YjWM=
=o+09
-----END PGP SIGNATURE-----