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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.5.0+2.0+8.16-4build12
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.0
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:
 cb3d53e9c1680fb90be08563bc6c0f14ce4779a2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 b88d3dd675c617f3c3ef606a114a54666c71eeb8 9032 mathcomp-zify_1.5.0+2.0+8.16-4build12.debian.tar.xz
Checksums-Sha256:
 5988389c6c8dfde4d2f3a370278c6b2aa1b5a0f56531cb30b0cce2d550b4387c 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 b1bf177244ae11be9b302a5da8e0029402278925c21ef3e2d882fd95ccce9df7 9032 mathcomp-zify_1.5.0+2.0+8.16-4build12.debian.tar.xz
Files:
 c9d02b943ba8148a27ec3e02a21bdcf2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 df4cd39c072767556387a1b1ce12af17 9032 mathcomp-zify_1.5.0+2.0+8.16-4build12.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6ckACgkQ808JdE6f
XdmqlBAAmnRkW5b0+30Zhl8vr9oBgVSFlqIHS/iUhV9qXNOgsDzW5NWnGKAjpZUe
6hF5z5H68MHXRymansfNvFEh1I7I23OgjL/jZ8xE1rOr3CmrYZCzmh/53fygjgGl
A+Mt1e/yhRuGKtDrqW7jL0TkwHVVLY2T1e7y5clVCYZg/ka+HCwgvKD12Ntgme3x
DlGiYWhvCEifYCg0aPTR3B7NRAXkcwbOFAyumdaJ2evu4Me/diABTphTUiaUEC0D
ElYYYLukSL6/W5NNQs6aJnmlfaO/I891+kwaKaDehaie70KhYUeGh4uFLOpsFaAo
7uzmqn/7xPb+iGaglkr5tTq1X9IHfjVhhl/4gkjhf3VA12C7T6gh/U82bvE/kFOt
5416MabQWUs2fnY8Pm/sCZesvvc9QETPmVQ6UBm+/+md1ylI+xx5Hx3rmkOMpQBH
E26oPE9/FaGZhy+JSnmYe2As73zVFn8Cx/h7rtbmvVqoceJMb1mGa+AAwcvDNLJn
jOeA2ujK6kMCyfWcnpWJB0WrnIWhLTvf5nnhGGEBRBaVvKYFJHYeBZ6aeqlX7Ln5
2o6ZbOf4/w23WDZs07T3WKXyFvfs2mi3bPlciouzox6V+elQRDROsS/3R2d6kUSP
Ozk16iCgfgGfeE1eyl5EZF/KFVHQNJ1wIpM8jJUnVgdAmU2UV3Q=
=BFsp
-----END PGP SIGNATURE-----