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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.6.0+2.3+8.18-2
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.7.2
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 (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-algebra
Package-List:
 libcoq-mathcomp-zify deb ocaml optional arch=any
Checksums-Sha1:
 6c79526a510795bd7cf8d9f32e574c77b68bd050 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 0cc5d69ecdc2a3f529337d09475eedbc36c1475f 8868 mathcomp-zify_1.6.0+2.3+8.18-2.debian.tar.xz
Checksums-Sha256:
 d15f32d0b9ebef22f6f8bf91cc27390008c9f269ecbddfd6098d3bcb7cedde8b 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 382dc306148b4cb498a8131ca2a04c71e59760276bad3b7eb705bcd5cfb06216 8868 mathcomp-zify_1.6.0+2.3+8.18-2.debian.tar.xz
Files:
 ac755d437071b0fd55a43cf0bc93a80d 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 9c8e2750a896bc0fad311cb7f2960d35 8868 mathcomp-zify_1.6.0+2.3+8.18-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkuYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbIRD/9sPPuq0aT0W6OuSO9xpkVg
xHp45uOcRw0T56NEiBCBttgJftgyCvkhA3PrLENH0FlxuZATdbtT9KYQiGY0rsbz
ZLBc3jlftmf2c40dVSvY/qswHiAMFyeeb7AMzmEZXeOMAuKwiAMKxLu3dcNm5m0m
xLJG50KUB4ebC8DVvydhz92OotnRXxg8Ncyb/xEVwTiCrV/9gMmzUt4wVEKY5TqV
6a/ZZ9NmUWaBp4XnhJVV/Cm5iRJTDhrmVI+zO3prBDVShObbvRG2apuVHAGyBTyB
2BnMj+QWjdjv80c9pqL8nf6hZjyZrYDwg7AUMoMOiBWFpauOYVWROpIXenxnvhoT
/1u4wovf3suvdKu3KdGFfkHw4IyUcmba1zOgbSyN42JInwWxPGB0rz6eyGHLe6zp
yteUCGog8/CVnUN92IwVb0ZTHKOXx++W0koRcXAe69lmsuAZTQX6t1MVp1+pYYbf
YdF90TGvf08n3UqYi1hTnW0OI/nz1AkeQ/JNIvbsVCfxak112n1S+XreqwdlMEdL
277adPpxzb1XRIUNlFNwcaWndCnylbiyCcuxRp4QZ5X5J4cJcGG2qI2YD4B6AJEG
jIpUtqDCXOGHXlIdP9jyoZuZAaCi+UkT1DOZAZQilv6VTxMVBd3SBAHyFCz1nYyu
miGYl/OxhDx99f2X6MX8/Q==
=j9IC
-----END PGP SIGNATURE-----