-----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-6
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
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:
 709fc943ce093729788dc87614f951bb9412d02d 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 27a1f7b740a1c073984b75428c8fe2ea170d837b 8540 mathcomp-zify_1.2.0+1.12+8.13-6.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 18ed1b0b4be79fdf1cf452d53e398bf40c64f96ed0d5fc1a767c60df9c72e69f 8540 mathcomp-zify_1.2.0+1.12+8.13-6.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 4e3f86ada9b27ae92d22073cadf94521 8540 mathcomp-zify_1.2.0+1.12+8.13-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLD5lASHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGd0P/iCiNU3HlfYA65NL7tGgPScumP3qb5vF
iZCuHQlSbhbUEzvMS77dbYHaOm5g2sgSaXko+XhobzmVwEbdiPEHScX2W7cn/emL
Ynmi1yfNBn4Pv13QKKRvLEyIJr+XSvemYmYJdBMIPgANLefMH07zs8SoXjCmMaSj
7/eSV59NVIzmk28e5wV1hvpUS/ORSSNaa/4q6lrvg5OO8V60VoA3YJHxwKRFtAcl
dw5Hxd7oeLUaYXhJ9zs9gqDQhgyvCSUJL2dzLtSx6BnQGQDIvs3wRbtyvP6meAff
XbBt6GffffkEy9rFj7tqhB6w7lSEYuF1+8CxC3ljLPn9pimYhTt1WbC7FHh846Dd
CQXHpRyWiXAKgk642bbHlPMliA0cMcK7sPnD9THhdTWfgIsBL6kbK9nW5/6m0zx/
jnaFm3kpUW4IxUp2GKGXl+l6fEPYOStmBs573MsKgwKOi+n8pBGx9tVN6Gl7Wum/
2bZB58YqdkeoIB29Ol6KhGYqMykcyBpYz3IqRR7SKpi9gAZHDiVxjaqVi0qesnHF
dkE0NVbJfjKK46RmO+y/SMY+qXbyCvU8TXy1XHbkPalxHvLfwQCswE8q7UJkbayD
BfR9lwaVAsRNsEBdxdSoeQUsmNUcwt1cG4QbCkudQS7cJQNgoT/MwnGmgxZa5vjd
KCJ/47Qvzac0
=miVx
-----END PGP SIGNATURE-----