-----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-1
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, 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
 06d56660bb70006626209b9c7405c58fc46a7590 8832 mathcomp-zify_1.6.0+2.3+8.18-1.debian.tar.xz
Checksums-Sha256:
 d15f32d0b9ebef22f6f8bf91cc27390008c9f269ecbddfd6098d3bcb7cedde8b 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 13289e8deb00d3923698eec1a576cb5281482b4e04abe961f5f54b932f205f9c 8832 mathcomp-zify_1.6.0+2.3+8.18-1.debian.tar.xz
Files:
 ac755d437071b0fd55a43cf0bc93a80d 21077 mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz
 0b880a5328c5d17e57d2379eeab0821c 8832 mathcomp-zify_1.6.0+2.3+8.18-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDELgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUejD/9UHtNw9S9nn9TUK77rQ/BE
4VjWq3D0Z+s1EEhrZQrzyMnCrmbRQbQsUAyJzxm1gjuApxhEFtpsdeKTo/hRbHzy
VJXKT4UL5xj1xr7hsNucczP89kYSTig3OoUN77+iYWQ2dm2nkb09UytiblHP6RyJ
x9ZjIck6KNVqK73qqdJokkofvpT/x+/KnhGfqcJeq4iZLONDvR0Ix0UtboDnRDdO
A/6wEgaVFimaxaEp9joSlwgpvPdBnS/eplQEVUAm2n/2ZBKygK3SQuBZunR4lVl8
Ja093PSpmmnrfzxGKk6kYcmpjlBHuz3D0sxH72ZjCuIuSJU9QaeGYPduNLWY+xgv
w+VVBHAYJHoXkMZHbnRlHvqLh/16SNC1Fg4wv4yEDYVJtqMb6TXKQu4kEyDjg/Gj
uRm4yati7BQfw6aH5Y1tJxN8osCJ97IZXGo+/qwYgVkyJh10EqZGCSJ6S9WzxTUj
nAhAPqYNL7B7Fo/pwj/3yBge3O8V20iUDL8glpW/zrmh4lYXwPP0sZZKI/Brj9yi
dadkfZxpqUxJVIFrZplVIwfa7S5niIiizlDxByRAWgXHpGKKKBBJ0WixCKqN/gBJ
P+WWdqMa11p1HiG6Zo5RkFoMNk2j2Q5tv4MuYOluxlvJ/th+D8bRR4yYwKbj2HQN
cubP8q/v3kF7J8B62vA6tA==
=7Zj2
-----END PGP SIGNATURE-----