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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.4-1build8
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.0
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, 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:
 ee8e62d503ac875f9680d5438470b5edb826d2c9 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 655ca2850da3f5a0e7e652750a228d5e74262e74 9244 mathcomp-algebra-tactics_1.2.4-1build8.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 ae7f83e02e7f2cbeb5d7844cac96ada9bf1f9c2110e7efa724c26d1a3b29d834 9244 mathcomp-algebra-tactics_1.2.4-1build8.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 cb3d7f79d6bed34e47424aa67205dbb6 9244 mathcomp-algebra-tactics_1.2.4-1build8.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmla6fMACgkQ808JdE6f
Xdkqvg//drqEFIXfQZrEKMhUiW2z4SSr9YAjXV5oxGKjUBiRHEr4DDF8Qmul3e/j
zbfZCNZHD9kas8mx+/Fne0gZ2mLJ1RhHuKXKGqRefgDqunSgkiJuYEeSoqCa+xci
z1dSooUzQ6xh1LhGnDcURaFPd/LCNAcicjW9NsiuLY1YjbrpSTQaw2BWQCfyn+Zs
8tYGexQZlSgRzdpiTyYxMkjaU1uwWgRBgN9aMMbrzO/U7+pJWJF7SXCz6cs9L7vQ
0bwkyoZebagK+iajFsL1rvk2CNkb86lxBHDCjE83gDPMpnoj2HvEz4UbTH1mF0o7
5vfb2KtUPewSbfSoiY82kq+HKB737IaXIXYky887UZvWKPZenU6JG2HcwA06paD5
M7uLFEpcE6aRqemtmT3ZHwtGttB1XyHNVwppmWuT9r8yu2HPdoXqJZJoLQw0u3gT
oacZWrjl7nPuqKoCwltYql1qyZNt6zBfn4qrNv+FdIUMzyramXr7dmjIVvhO9DoR
vZXbZhevFb/BuLD7IaHORrmv8eovGJA0ztwbbFWTzGANiZfgIbVbe7pvQvgycqsM
mmBVAXwoiB2Ai+kLSBnoIj5RSKKHgpKfKfjy0aN6+UUS5DZJhUfULb47OwyzHzqj
evq11fXBWaWESEDkbxUpwUU0nYsUJ3HL6JlM00LS0NUBgVAfnQE=
=2In/
-----END PGP SIGNATURE-----