-----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-1
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
 c814e86512c2191896c347a8e958c621798413cd 9004 mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 8d1d6a6719ef0bac262819e8a97f58c50522a0d50abb4d227d4204208a9cdd6c 9004 mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 af79bc49a7beafd1175666944bd3c6a7 9004 mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewszQZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQOsD/9ipPAmS0Ln+a0sP2OoDorr
o7d+8vNGc57Tg6nghkmdjuQPfMEAT4LdCpOfmn2t2IUfrQluVcbnya6v7AT6zX9F
YlfzOTV+tSe1SWphx8LTiIrFxH3tiBpn3C88qJweuf7zU4B1AfpRp82arRPYhMBw
q8Wte7SDSTxDKG+TgOrZfmdn+8lACtlqulhAdpm5RS+B/N6UKPKN4s3Z1KphNyZD
PfL7ctfnd0AlWk0WykDMzoOYgdXeW/Y/strE4y0VYJTB/Xd4xz2oYAGQrnSRIYo/
WI189X4cV1ukr3NK8iukr+MMWEGJM4F7Ey/7wSdo6ZK0G09Fh8qTTaxZne8fMYJl
9bgkwJZtELFKlPG+UTPfWcyPyf4BZyRKsYP5GI7HG10Z8aIEDWEHDXrw/eUwnch5
oQv9Z5wFoTreuIS70LpJryCUlqccIPqPkJoKBMliJjVZ8wJv/xNZI+P7onJroopA
ZPIk08htCaD+cVfvH9uG1mm3PhZ9Ew2/j4gyQWeewnfAamVGRW808Vt+fB4ebtTF
FB4ZRftYwLmAzYVVOFclL3TdsDg2qM6QG7TBoq3X/fan55ydAnypcL3EIXz1qYnz
osmMn5oosUmEks87uOabSW+NUo2kPwnSD62cYkLrJEGvjsf2ZXQ9pEXRluFlkFAd
LY8u/CPlBTCDvSBeWDPXXQ==
=CKAq
-----END PGP SIGNATURE-----