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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.3.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.2
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:
 14f5f3522cbeb157762cd60a694b078d91fca67f 20460 mathcomp-zify_1.3.0+1.12+8.13.orig.tar.gz
 23b0f858470bdc02cad88a211b9257290b29d78f 8580 mathcomp-zify_1.3.0+1.12+8.13-1.debian.tar.xz
Checksums-Sha256:
 00a42aae961a5fdc5b3f8b80150065a3401dd188d2f8f42cdcff31520a687578 20460 mathcomp-zify_1.3.0+1.12+8.13.orig.tar.gz
 6c9fc54c7755fd2b5ba562d9b5934809db2df5d04c073291e0792eb1fba7c084 8580 mathcomp-zify_1.3.0+1.12+8.13-1.debian.tar.xz
Files:
 f1732f2c22b09e6e78960eea836785a2 20460 mathcomp-zify_1.3.0+1.12+8.13.orig.tar.gz
 4df3011b7f07e542bb647e1db7e342b1 8580 mathcomp-zify_1.3.0+1.12+8.13-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSJxQQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRDcP/0D94xhzIGBglmV0jXJKtiJtanBIHLFV
LfgrLOuGDptBQMuAVjDKseid2BAvIIT7uLJfY3FYWeisJEkdxqwK4QaQMVnaGwPb
LimA99lr7iNHnlhnMS/WOpZIEB8QN0+LfMbUpVgNxb/gzAqSmjBrznTsOkKk2UpF
EWENEcxPbVuVgZdmryzRH50FAfJSJOJ0ac7/gYcRJd5u1giNvQsP4SJPqzG7QNh8
c7XXg+j7Ln7BN09u7IcZprbVhOwElKM7l/peGIR/f61MidCyxLJhBPF+bpJUiVrG
xNFf0uyzfvqzrgafWrHepslNxDZgMOSFpGl+8jUGBs2w2wCaTCMTzw4DxUyQQgYy
NU82Hfdkj3LfnJLxetba98XZ98H9xOhgkLqgSskhhcCFNFX4NG92Woa+SFd9DRWe
3h156g8X88eIuPSW9YJZpt9HlUtNTo3cHaz2+mX1Wun980l4/qewmcI+IZH87k9s
MG5MTI3kLuixPbWOOjK60eB128lhtHAnOGxvtRn0tBd6BDEWf2HMFOX/VBz2pefG
R9jc9kamCKkXa+QGZ4AXxGwKeVHPWqX8ZLous4e9Wx78UbJF3AZ67gkr/BRfKCGZ
VoHhXmkq/4moNg1Yx4Je86oSMParISQiUjHAKVrMJQ5/nsxnwQiiEv5pNjXBL9ue
f1voBjpyvPar
=FArb
-----END PGP SIGNATURE-----