-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.2.0+1.12+8.13-6build1
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
 76b6f211fe45af7116c2c150dfd0551949cc8d91 8612 mathcomp-zify_1.2.0+1.12+8.13-6build1.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 72a1cf48e0b7f1dc74fd34730185cbeb5cf8563bcc71c24a6ed9306c8de8f9a3 8612 mathcomp-zify_1.2.0+1.12+8.13-6build1.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 ecd33a9d76f5619bb0f6d34afe7a9337 8612 mathcomp-zify_1.2.0+1.12+8.13-6build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmLWZB8ACgkQ808JdE6f
XdkefQ//U4mivYAkF0bevEo7rxBYXa8igjYO9YeHUgj8/rx3XNTWvar0lla4MaPH
n4qB2ijZ3Hm14ASsp8PPHB+OkteTwUd1hKxgNRh2uOTxtAnVv7IXxK8DcGIbwmAy
NhJQl+Ts86gB+g2qiT2m5MWtIDr5GjnJPOLjKXEcUrB/p50/QIpTF3n/NOhevkQn
4dIqL4Wfv6V1MmqJL7Vo93kP5ikChdqG7xi2dbTsuUwELJyM8q+FJGvpV31YA27d
1DTlS/Yz+EtMbr7oiDrvF2nX873nhcctwqhpM0wvFH2IO1ZdCosYhZtYXgvVY6l1
nM2PYYO9WqIcoPaYA14XEkqNbYykzsUnySGU5qjzlCPTh7fmSVJu3iv/SRQliWkT
bsLCGWezdMN67lyjbI5AF3FxfRYoeORpgF95L0+PiktbNpYmk/CAfk4gN8J2G9ej
BeElf8N0qqmu132YEbqDQP0y+cZAVkF2SEgHE+2AwhahBP39AG4/+rkwmF++eNwa
4hFiJpo3uf5HSDf/En2FZAJWf/s5eqGRiMPTpbLNq7qtLc03XMVxlZlxnLEGQOn8
PgZS4ln0xqG67ZortqY5UxxclhzHrotA9eG5ynzgs34hHloznfVl3TRtMFuc1XQ1
+iBjZS8oQQLFy0NCp8TaNqJ5iVqMlw3pFQTj+VNJ7hBfRgX+9h0=
=0URR
-----END PGP SIGNATURE-----