-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.3-3build1
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.6.2
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:
 0549a0a8cefb064df69ec32f6f8cd784005d49e9 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 f8465ee49bddbe96e4ca13f765be0ebcf467754f 8976 mathcomp-algebra-tactics_1.2.3-3build1.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 e219cabf211e08ffa91102ef0b5495229e18691055d374776d08311ee6de90c5 8976 mathcomp-algebra-tactics_1.2.3-3build1.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 8a82bca607d45295354655552668e612 8976 mathcomp-algebra-tactics_1.2.3-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmZCWssACgkQ808JdE6f
Xdmfkw/9G7kq/n1zpDZ6QeV1TIKl0ZapcNuC3JXqHlMW6BbTm3ZqKtv4alXs47KU
fdLQ1Z9rC+27leJ+tDixd3bzWAKooua5X2/zo8COYU1Ypi/G8MeRLaC6dy6kUyLR
v1DJU8LAGEbSIwtF0pfzoN/6J/AIAsqiGU5LGxPOC5wc2CCClqyb0ed6Tz9gYj2x
TmYNF5kOo86Lu1QkLdmpXN6PWcGXPj43K6o5makNzzmrCyAYoMsY83a4rm0ldxyZ
OAUrqeaKfRciXSQfFQD0tfM11osBoAXj/IDDQ9kotsCemz4XEO4D5PBKDLIGMmFB
xzyvy8fjYWA9oQsGcWZQb4OCz1eyKo06PTi6NZe/ZRoBoV9RrlzH274zPB0UdsAg
VU6Rdpzd/y2Bs9Gy0hxZdn9S2Lp4pB9oN1B5yFNZnNTkD4+FroWi6KJXZRKGlAD0
C+YuNico/Gsa2IvpA1OY/jox5WiCBZ7IzLU8AT+8mAE+kQkZ1SjyJ6N/87aRyT3Q
CYs2mfLaqniGSOeWdB+DT5xytB69IaC+fIh1pth2AgqWLENslnDzCZ2AaWqB2VdZ
ZP0uuN3qC6OuI8iUbxnqXy65AvE0Mgh0wyK7U047E8XtQVUACIV8NOGdo6eywEO6
7wOOobrO28M6BiwK52Ho98b2pddMmL/4fKnMVCWy8M/OkVzCeW4=
=tk3k
-----END PGP SIGNATURE-----