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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.7.0+2.4+9.0-1build1
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.7.4
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra
Package-List:
 libcoq-mathcomp-zify deb ocaml optional arch=any
Checksums-Sha1:
 99c73fc41a0a2393ed0fbd686a0937cdc221c33d 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz
 136885d6cf76bf3b6db3c1b9339acad0a73daeb1 8988 mathcomp-zify_1.7.0+2.4+9.0-1build1.debian.tar.xz
Checksums-Sha256:
 a6ad25eab52e1ac8b9b08df7bbd80bbc312a75aa8e9c675a1dfe42400b18baf0 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz
 42642194641b2cc7fb196d0cd96905b7369981bb5beed674b2c726ed06bf1485 8988 mathcomp-zify_1.7.0+2.4+9.0-1build1.debian.tar.xz
Files:
 7bb8625b236bef09ea13d478fd797e3a 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz
 ef4b9a59bcf5d1168c939fabd07843ad 8988 mathcomp-zify_1.7.0+2.4+9.0-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdsIACgkQ808JdE6f
Xdnl0g/+Mw25YbieXH/Uon4FprjFiPmBUIy9hijUJhJfzBnCbmdYXwLKyXrfTZkO
KnHsn01TLajTDbQJArO+QGfFb+xeKUIX7LsgrpLD5xwSpn5esDLJtCYyJWh3+6Yf
jREy16qJpPR4D1zz7YqhcYmT3RLyR1RvrpWox7rhNNX36ZhHTCeWr6cks81YGBKb
dFqxQE8xHmCGdfnDCP7urzPoBc899aEydo3KeeWkEAP3eP4fMQf2QCUEt0NUizwC
ZZyeOTxkNvaBD1LZea6Q80FychX+Z1D4DSkQd5xNA96avGR4EXwCdlJ/oAqYr/GK
n/9lzAy2e9mS3MczlIAE5qluO++qEEmaevVXbC8EwYQ4eKAU2VFhhTMsvoyTwCOt
IXJ0MaB0Qxb4YG+G8I3ku7c24ZKuX7Oedik50B3rKVh5UI5nlP6I+K6Nzz0FJh1K
C8Yv0FS4A/3aoXQDAyDpB26qwqNJSiU7uzSnqLV5fUBsweczCVvAl7Zlm72mke/R
AAPmtq+fLwTc8BX7LMJMd/9VBk83HYWj4t4QSmWvgDtgg2NoVAeGmg0tf5s80Hel
hZlMGuMIoJrHKSe3cyh7Wv5ijEI59eCLt/gxzUNLNN1E2Iu8OysbIGKRI8e0mXX5
e2QR6rmqPnJ8WGCVdhzf2R5wg3cJyG/nUnPu1VAjql72/M5CkR8=
=TxtF
-----END PGP SIGNATURE-----