-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.3.0+1.12+8.13-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.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
 1581e1b400e5396bd73fc0e23ab8e39775cc541f 8648 mathcomp-zify_1.3.0+1.12+8.13-1build1.debian.tar.xz
Checksums-Sha256:
 00a42aae961a5fdc5b3f8b80150065a3401dd188d2f8f42cdcff31520a687578 20460 mathcomp-zify_1.3.0+1.12+8.13.orig.tar.gz
 70a9127df4bc2c5214b94a2d7227e3a11296ffee5e86d1ec7c51a12604d9047a 8648 mathcomp-zify_1.3.0+1.12+8.13-1build1.debian.tar.xz
Files:
 f1732f2c22b09e6e78960eea836785a2 20460 mathcomp-zify_1.3.0+1.12+8.13.orig.tar.gz
 18ed95f7b8af2abff490835454e36bcd 8648 mathcomp-zify_1.3.0+1.12+8.13-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmS+r7MACgkQ808JdE6f
XdmYQQ//a4V0oTx6x0pmjVDC2aj1w2XP7dvNFr/jdTQTPV60DwYBHpImseIIb1dU
EoGCqHVnHY8C6DaDNbYRo0ZrqIj4Lwbm17TFMSdTmI5zZS03cMVNMcndqQy+ho2v
/Aq2/SZzbiGM+4vwy7gGsGyRbC7oqtEoUPgnABCYQh1frfPysNjfh01JSHXSp0sI
mjYm5qYUvyqN6CE3Ds/D1JOgRC7/LBMBOdowGgrrF+dIOjJ2lJEVry+ZxeJNidJv
6vHQi/fh348s4lh9iU4O0wCMqbQzFbHgLBE0iEE2HZBbANOk6qo+YGGuLmV4UHLE
2Jo6YONwTT2sDjxGK7mTTGZ5RgHPOrijhtuS3gdXHiiY9FS5Q3wmUBh9oDIC8bfU
GjN/9be0PnMFZuFJvdprEsr1qvOcqJh/vYthhIKeBE3e6quqyPEwlEcg8mso9Zto
iflpT37MvjlyLa6XOnINuBtIW9TjHEtgbztSemI7cHMzeg4lJBbfsMoSWyAYjYfa
s4QrjrZJxlQKQtctzwdt0DhtcYQ1lxvQiSV5MG/xwv7gjNytTJUe43y2jUeAmqeI
foL7lhoaA0nRzcVPLF/2C1xQjnWjV5BCJLsJzUdVKYA3DJulN2T3uFDAhrFpZYtS
5Rhz3g2C2EJvlHE2Yl9ZhOvrMRzJNj5E6EFA0Vv5nDuf3Uf6bZw=
=SAIO
-----END PGP SIGNATURE-----