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

Format: 3.0 (quilt)
Source: mathcomp-zify
Binary: libcoq-mathcomp-zify
Architecture: any
Version: 1.5.0+2.0+8.16-4build1
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.0
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:
 cb3d53e9c1680fb90be08563bc6c0f14ce4779a2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 8c4fd3adf01298d7da6803f931973e908591ce4d 8820 mathcomp-zify_1.5.0+2.0+8.16-4build1.debian.tar.xz
Checksums-Sha256:
 5988389c6c8dfde4d2f3a370278c6b2aa1b5a0f56531cb30b0cce2d550b4387c 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 15934eb4cd15aad2c36149db9a6f5c1f04371092695b860108446ba3411cbfd0 8820 mathcomp-zify_1.5.0+2.0+8.16-4build1.debian.tar.xz
Files:
 c9d02b943ba8148a27ec3e02a21bdcf2 21080 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz
 408b5af163c7c6ae56c56fc9686b4176 8820 mathcomp-zify_1.5.0+2.0+8.16-4build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdldI8ACgkQ5mx3Wuv+
bH3iWg/7Bmaqb8WXcCwg7fb8/clpsyDZr9faXfeMivkGmgcWpNERHFrpZAGCQ5Df
d0sU7CrGlGjid7tOxIRoiQn/gR5IOyUR0BbTgRSHccJXKXsVNOb60EfQXolg/z4w
5rVld6Y3UjXAsURPsewULKeyWXKbsW6F/yUpber7oHOmK7XW5djRtEh7Hr3JG+8D
a7vUQlZYoLGU2ifn+NFvAdSbAzASdkm7Oijyw35rIRIXPTJJ+yo3W8Mzkuv8JqPu
SZkFJNsY7j/taTL1IDh3xfJLZn2sk+LJ3oaXh+YWVjhT2v3nyvHuKqn9PZb4nkAD
OkEmWUV26T+PBEE251sa0ZiYkM0r47vQmYiMuKsoLB4VWjEhiioKsG0vzqu1XtPL
3EMsqmsh6FhaR7C7za3se4Lhe846LKKQb2EOHPfk+Vwh2XbGwzZKlWYae+09Enn3
gX9UuijaI/pnDKwrFlik8kUIe0ZnGKzuZrsPc5QfIIBjF71leXJxlt1yigvtyrL6
z+ZSP+gfraXA9F7ClW4wNxqNA6xmGl9VAQC8jHaZT1pqANofd4m7JONOSWJSIl+D
WzdKPx9IGM+MYNDNSHoKg8S2Ze2x01Y4niK/mehBt7bolhAqRZTCbBTmV/m/lEim
sPBPbJTah0aBxyQBnr6+FsAVhT8GHJn/ZJKQXHShhCOZaYJg78A=
=7YfP
-----END PGP SIGNATURE-----