-----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-5
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-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
 2a738d273a4288da0d9491645fae077dec0632c9 8444 mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz
Checksums-Sha256:
 a19515dcfb2a3ec95261b400dbd1bfb820ce6029b8a76d295ab2448e18825958 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 c294c81adb80293e15c46674ec6c8de2d1e938aca46e1368ef6ecbe301e86841 8444 mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz
Files:
 72b41bb65938a940a8d7bd978176bfda 20333 mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz
 fa2f63f101c10f90276d72be0a80a942 8444 mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKmLQ0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRNgAP/2tksiQy2Uwt8YxZEJI8X0IeHHe3UxbD
DZT8+yJYWTPgWZ/ZA3O51DENGYuQopWFUHzkIadwUVw2XyQ9wJXtMSQGMxYjBcJ3
bfT0hUAJ5NzKGUGyd1JKBE3lB7fIWOYE0S7kGHpAmjEOKAGiNf4OtWN04IRZz405
Mew+ETas6MVE0yoCeX9xI21IxTydE2XPkHqKz4MchP/zCuvAlZPektGRByadCP57
bojFBZICql+pjfBiGKxc2JCxBX0FqSO8tMVOrB98bLIPjlnXx0LmlznRYn4XHzOx
m8WfTFcvdj0t3RdajH/RSL0IwKWm39PL5eH3OFvRwfeFztboQ9CcTC2YTbKGoVtl
u+tQgsAoRQ81VK5FRuKcN2Lx3kUIq8Yt6mXW0A5ilw21GSvmviYGjtxcjAR9aYts
wtOWpDDpAi5/LKbjVItlcYinL7ApA5SndkJm9icJddwsokoJIpg9DKYf/B5P2gjC
TKTFEbypE5TRTdNq1qMZCLQCfl1ef+tuCJCyiRGi2gMtniPkreJu0yRwUOleMFPJ
k+9U3v5U1FS6hWjGmAh/oIqvrupKKX/HtdN5rMVDFz5+iZFQVZRWM+9qRWDGCUiS
ByhFCWb1Tq94/A+xFqoeG9sTOpe8irsz+1AQ03ruYS/3cVQYSQvlBMLlWrQn27UU
qy70d+yCMT1N
=TgwZ
-----END PGP SIGNATURE-----