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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.2.0+1.12+8.13-4
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-zify
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-zify.git
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-mathcomp-algebra
Package-List:
 libcoq-mathcomp-zify deb ocaml optional arch=any
Checksums-Sha1:
 709fc943ce093729788dc87614f951bb9412d02d 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 5a0bdca15d7f3eb189fa73c5df35b809b90b27f6 8468 mathcomp-zify_1.2.0+1.12+8.13-4.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 525aa859f0972dca9c8568771f9e961a55b28ee6fec869f1a54c7ea823853891 8468 mathcomp-zify_1.2.0+1.12+8.13-4.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 86ddb8da363314bbbdb684dd05c6f348 8468 mathcomp-zify_1.2.0+1.12+8.13-4.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYSB4SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR/PYQAJbneY9RWfrYW8EJ5X3ZODgqWGBQyQQC
7Si3aA5Sg2mseC+ciTGFPClaOxp/r+uF8Y+ItdmyZWcBRf7XaWXjbaUl4Cz/GX4e
2wgPYJuWhL5vxEFpmmtBxJHGtTjNZ3rHKOblLdgvqLlMDk1c7YsOneKNuiFKokBI
mSc98M1A+7ZaBTtQI4I7p4/vMbU8+zSEZ/oK5jPNFuv6DV+pdKL1CzD2fD5sYD0o
rCLVYWKh54Co+nDpE7iASFIOq8FzwDtsngGmoyTKcw/kt07Rn07m093SiJNrRL8B
Wo6d4B/MTb92euhi4l8OgnxitpaXE3ZTxWs4FMz+mB7a97fp2LpOvHRYU4bjCiEo
BWGcgafdZtK3VK6afl1N11qRG+op2Ra2b7KPMsdJfpk6a7dKrv3mz17F1Uxikj63
ewb3+I42awWnV5cQU1MaOCt9zvIyd8S9G4e21nVIqFbz5XE9u+mbpgymsONfYtBV
Jh35Hip5jrDQYC6+6LBkK/u6IdldwEK5rC9OZ+9SesPMndbnNTcM09SdLHfeHx1b
NeCbexOQBUp77Emv335IoWjt8xVFBRq+haF3Z3OF0U60w88vptx1to9tBZNSBkYc
co23FYbpYWx5gFACCbYY0EAXP8JLDEOVRYPHoiuMmWIyXCN+hzNX5cPwrwpKssuO
jPyBV3gMs0ug
=w78M
-----END PGP SIGNATURE-----