-----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-3
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
 7e58110aef3effdb806184b641330aabbb5ba8af 8448 mathcomp-zify_1.2.0+1.12+8.13-3.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 fee26a66f65699e5642c961dd8255e22d6a856b2e9ad07aa32730f57fbb386ea 8448 mathcomp-zify_1.2.0+1.12+8.13-3.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 7abc0058ae5b5489c67580811c69494d 8448 mathcomp-zify_1.2.0+1.12+8.13-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKLdM8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRJ84QAKd2FhYlO21Stix2GlUN/CkUtURk2pbf
y776H01Skc3ml+TjRSznWThWyNM7KeBMsNw+d2oi4UxKPUz/374V/cq6l0TETEwS
lxvyJZEyoY8Xt2dtdSebjjr3pMHFkaejdHBKFTXORzphypTAscOrpDQEq31MCB/z
kBfP3833Aig9kd9rvfz0PtM/nvwXfBaPmXwWwZWaO7bgxCi0wMie5SQojhgViG3z
zw4n/IG5MwE+iNsrD8gRUPNUJgj+XSOlBN24tX+5jqwWdvG6VG5xgUNGmMnf4JF+
mYgGuiI9JM8BXUey77nJBKLfuL51Q3Z3Q1p98VkJGk1xinOTiLdKqwdW4wXfDxVd
9K2Dg3U010qPVzkuiJyKP0xNTj2A86x6BAlGVhAxmqwgwxHrjaQugBwn8ugXcnG5
HZouE7dUTz2VVDlRhG3YDvbSXY+BXlQud4AHhXXqAUQF6Ro5asK1dx5t9RBlHDSq
V0C0GRYIVqnxWJFhvO/YtnxVpdmlLYmwnirlZ6DpSDCJySPyvw2Lc+a308l/5TMI
lFsyoQjy9NeA+dBUPkM+HvJo9Nkhc4vXupNOyXSWE1eAqjkP8qjzDnfC76UZ4LVK
/uDFVNbvBPsBOtgfeIO9HgPe7/GdSR6wp0vEUrjz7TrH/0g51SKx/98vl6ANKgCi
NpbXJ+3oqtJx
=O+Fm
-----END PGP SIGNATURE-----