-----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-3build1
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
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
 5da129b20e80e9e4fcd0c66ad89096483332737d 8528 mathcomp-zify_1.2.0+1.12+8.13-3build1.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 1af1e1f63b16a1e1fade365ecd97c4985cd61d4bd89c9608f0a84537d2b46733 8528 mathcomp-zify_1.2.0+1.12+8.13-3build1.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 a5f9fc0f2d63bf63b3ad95b798bcf1c3 8528 mathcomp-zify_1.2.0+1.12+8.13-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmKXh00ACgkQ808JdE6f
XdmHXBAAwLmWXEsV6W3J02PEq2rS8lRaI24v7yKnxwbCMdbgNtHg/PoA/7oqggao
CJjkjfR0mGoqydRCSB/GUAZlIeGFUB6R/jedeKgbJ8dcPpVf8CpZzqnsUqzgUMBU
PjbaqnnPPaIrgQVtI5MHyGHwbWyXRj+sdWimR1m3sVS3O1kbpkx3AHg7HzJHo51+
XE+MJXeQi1OB5QGTfpwv6xankfU4cvxaj9QBpF/CS8syZ89pvs4wEKNn0MFSKgPo
jrT7DvIobs4fAaPu+tghmPvLGORdTFTgRLIhGiHO8ggfZaSrSTODzxUtR/3ZRd4X
S7UEl7ruvV6R3MEsN4L//FWeOPDjeuewchYGeW91KYsOvQiCudJVYlerFhPZI6PR
G9ggMOUXUpl6YIAcxJFozuY61jTJvKcFstNaEDP1laubhlcskHW1CabN8QnaAbDY
RHpKjTyJttrytRCIYOS0IhP5ksJsjPh+ieSgpKEYNiSQ0Twjj0sENZwkaDBh08dx
P4RtGdawA5tx35BSXTMkZ/XVVbWkBkA2HNI2t6Qs2o6xOFjPZewCeB7Bv0blRzYP
VnDVuPvQgG+cktyLS7eqYSMO2HVXAGjXlNQKQVgBvEfAKUtpKnA0CC9EDH0smjVb
z7IFJri+K4J14KjuM5WB4vwjVRmajgCaqTWlOsIrP+WLv0iS4y0=
=aBhW
-----END PGP SIGNATURE-----