-----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-5
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
 baa62145c5d54671917b27d91227e0c28e73dbe7 9764 mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz
Checksums-Sha256:
 8bef29a0e3decbaca24bf85def8f2ea073171f6400a77396b2f2b14085947f6e 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 9e77fcb40d7caff68c9caf6fa97ededf43d451e044ca0b199d9d5a5e9f95e53a 9764 mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz
Files:
 0e3dd126712c25e057a115c10b071a68 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz
 072e21e50ca8c9991254110372bc33ac 9764 mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8bFQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSqfD/4nR0agljoNe2mRCQyJWrmY
uT82jkkZt/r9a90PdeqA1FG9K9pM5Eo4yJv6hSHNVzQDaVRSPIiJOCLS+rmv4Y0m
xPUxeWh2cz1Y3CfUQednq3x97ZucV39E1qwN4dub4hQZzbaMiEjbSo9n0nw48kx5
MWsIgCLWMpmSoYVApl/gUZ2DJyxuxEBHX66vo4J3LZ1Psuv0Hh1WbZmzG+asVcye
H8tMbwlmEfkEIijuA316BTfVYMTSvEwddGQQ2suRzYRcEETEHqGbqlUGLC+ALY/t
TDDXVk8Tm5YCgPHNyu7AXwDzXmSzs70SmVHAlRcEYWQuAaMVCvlpGZRpjkMkNfSz
2akerBgfAf9i9MQcTVKsT8aUTvXvBU3Hp6iI6eVPLqQgwQcUm8k4w7b3CDiw/uHX
9zaI77gdPs4JsZHtsYC1WFBaCLp0PEFVcUqGM5lTL0nqrSRomiuNKb3oy2XS3qGw
7InQTRJ/ScK8zLyeEO52mFLpO0bIfcC1V3VLF/EnAHQE+lfKoThqhdCn6OeQtxzd
UesFgPaOu+EpJtCZw0fq6mlRAJiCsDFKGoJ9uQ9G6/2h/7CuRntI5cCfi5oTz1nm
MhbKsNvmdZXZuOTT187u2TiE89yFkq82/U+6G716HtfBmtepfIHJmvVs/BHMLmzU
Eco9GrMMKniwyTgkdNdlwA==
=srNe
-----END PGP SIGNATURE-----