-----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-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.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
 f5c78437c2d18b3068c19bbb78573a9606cf1bf5 8912 mathcomp-zify_1.7.0+2.4+9.0-1.debian.tar.xz
Checksums-Sha256:
 a6ad25eab52e1ac8b9b08df7bbd80bbc312a75aa8e9c675a1dfe42400b18baf0 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz
 dceb4d1179f042d758c5f2f21f698eb0b67e5bf754c23eeac5a6a9edca5d6c0c 8912 mathcomp-zify_1.7.0+2.4+9.0-1.debian.tar.xz
Files:
 7bb8625b236bef09ea13d478fd797e3a 21067 mathcomp-zify_1.7.0+2.4+9.0.orig.tar.gz
 f48fc13075fc5edfb44fa2e9f3921673 8912 mathcomp-zify_1.7.0+2.4+9.0-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8HAIZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTBfD/4qTIQ8E/KKUiOhAPlksXaH
Yadl534XYY/lruGAIasWk8gqGKLuuGnm9FVWLRWWuSFmnyhh+NF+6AXv+iTrjCJ8
b6+qaeAeTlQHK3BoMR+2zQDfjcmdhMtLr25d4NdPo7DDWCs5DaamqxYRRm2ut/Qx
d07OW8NDYKyFVqThcTMcf09jrr5CUr8vgCno/1t59CdBuKuH7VM/7U4w+/OUWpp8
6TpX+b+Qldirpfp3R5+gQ8wVNYP0II0o/HMq+P84q0b0vxVKPi3DsWFhxyUgrq9J
fA6HLuNJFLiO7vYwA3mhu4tqUTlQ9OjYsJtjKPbfWTKDZCkNDuG9j2X4oNDmvuHd
k/fCoaAvtkChrW4EV/AiGoeQfCWpCpAATU3tkLUHl+H3uHY34KkQIXD4QNgDSsBd
L5t7f/xjFXK96nima2ToGNYRNOSj/tHF0GqOQ7aGpKVpXKB4G50SN5GJcCzFs8Ng
7C9ZyRqL/cuL3dC44ZMmNMjNo+CzcHMhd8lIetnRy7Jak/fng2s7peedjAIXzNQs
35DyeJaY5reEyuU1R3mN2dTlt1HSB4mT4mH6rDQXnJgaeZBLg+LI29FFQsikzbeR
ODpUP6YXab22AZ8GwrgbKYTJEVfk7yj/PpN4O0I7daJ2m5l/8N4pYEch3Mu1OP0k
2Ou/5I+CY0+BitLHlk/GCQ==
=jDgY
-----END PGP SIGNATURE-----