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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.7-5build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/math-comp/algebra-tactics
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-elpi, libcoq-mathcomp-algebra, libcoq-mathcomp-ssreflect, libcoq-mathcomp-zify
Package-List:
 libcoq-mathcomp-algebra-tactics deb ocaml optional arch=any
Checksums-Sha1:
 4c1b084768e1385768fd2d50d9447dfedb0121f6 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 de55061e866d1f3bf7619c8a80bd04e751a2082e 9832 mathcomp-algebra-tactics_1.2.7-5build1.debian.tar.xz
Checksums-Sha256:
 8bef29a0e3decbaca24bf85def8f2ea073171f6400a77396b2f2b14085947f6e 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 7863049fc3bd05eebf995b51ebd93d168da3d97f6c94181a24fa74c9cb7d9bfa 9832 mathcomp-algebra-tactics_1.2.7-5build1.debian.tar.xz
Files:
 0e3dd126712c25e057a115c10b071a68 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 204eb43a3ca919f27a4f3403180ca8aa 9832 mathcomp-algebra-tactics_1.2.7-5build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqvdp4ACgkQ808JdE6f
Xdl/uw/+IQeYnvrGif8pL7xVYgKceWxDXeLAw2mltJtZiPov/3WQYbPzqkqRBqcE
nnmAY9SdP8rck+/LPK4WooYU4uFt8n0k+89A0vNVC/R0xUxpWCTaGWcjEpI3011H
whkgD4ldeTl9XOcrWtWcikfveDzUbpSr+Z/+1ni2fG6L3A+lGOtWz1nXMTtnyMcx
MRvQgd4yD088xfECXWlmIu+LwqlMxgVW/5fqttZEIY3CZGERfzJb+XdijlKSuPfV
55SVPdN7JkKWGrr3lG2qxwkdHw6hXzX7peHXp4B4Kpmdu+anlijkRlVYmvlEIoZV
hs2tTHoNGsxcaDUTNdiXw2z93BpGcFMtMZ08npRfWJtsYqfc/djPxpUyQ5+YZb2O
UdGceLZb2r5fPEi3hqrfroWT4sTkLtAs92aoNqJmqvHYS3VhN5vSgpZ3Zb1FdND/
Ym2i6FMmVVEOM7pgwdvCk6ejHS1v+PEGn6YaEGI/WxjH+YDVOhgTqAOiN34IpDtm
lMFpiuGjxQNpgZRTaYfdgmAazhjW9yJ4S9/p8iFEZP9dbEv7qPLlRECujyUJPmD9
ZFb64/EESCSGyBKZeq+p47Ct1YXdjfO06UqAPLW6zJ/jMABgjy8A+Hp99RjVUuiT
zfOauA3cvijJJUPqPQxgeTDdb5uNv4kHCG8riTBkcQK7xJkrFq0=
=Wj/Y
-----END PGP SIGNATURE-----