-----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-4build10
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
 a74043e711651d193175e195f7af346f549c4445 9284 mathcomp-algebra-tactics_1.2.3-4build10.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 17417fdc1fa4b1ea611956e2a49695873f4dd495d5ea267a422b530d4d7d04ba 9284 mathcomp-algebra-tactics_1.2.3-4build10.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 d1d16eb45bd764a852b2d1033bc0fb34 9284 mathcomp-algebra-tactics_1.2.3-4build10.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeSAM0ACgkQ808JdE6f
XdmxEQ//TaRAkhaWrKVVJbmUNzJmuktrGN3hnxzFSxo0XIDUautHrRbj23ogUMrm
noL4rrhUZvOzdS8fgDZKGkzo5IiWBjcuWFQqSDgWuYrU6rQWbedb6EeenzefWl46
sRXIBN5Fj5PboTwT7AFIDAs69Dyti++Pm0N7SzkyIdJ9rFH+2qF5oL3ub9zutjox
rEtGF3s8zbacovXVs1NXftAhD8VYUeBZzlEew2Q/4xZ1VopiqoNsd95Z7Fbna96a
trsxY6wMQ0uCYkfrKGgGUmTwllj5bjxBoGWsDi+1rAAv8zgfOp1PnLL8kH7rdUxu
p2O15AcVZz3D8RqqCCwoUqaHFhglrWHSlixP8fU8/ITlYohDqB8voDupp/rX6yLr
4I5cLEjj4xDCvFOCtJK5LvyYI8kR2Yax2rsmO7drsPHJYtKD4sgXvO1VJfJ8PpP9
ywCn6LMRjjTJoludiEn/EXwShQCui0ZmOLN8M37U81YF9guYPjQB3TCnfZYv2kQd
FuayMp+zQfDHqHatypoaaee0nLGGDjr80Pg7PSm/3W7dAagKo+vLMk8MYC8OK28A
PTbmhvmBhXz+UQW7E2gXkIR8LoVJ78XB/jQD9WTi3BwqCagduJSp72DU4vWEVP/T
2dzoRmAHbZs6P+qcg1jkQ2N5iGVscJWRKmkrRggsTPvabHHYR+8=
=7w3S
-----END PGP SIGNATURE-----