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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.1.1-2build9
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:
 1eb3d7c208d1d0de20bfaaeb0ef0e0a09109db34 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 f4892977c5279afe8ce651e97a56ac805c36081d 8920 mathcomp-algebra-tactics_1.1.1-2build9.debian.tar.xz
Checksums-Sha256:
 85b2c3eb60b12b1241c36ef85e25467323775b9d0234be0caab24b8809863e47 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 215bf77c233861f6874796bd75461c43b43617929a5876ddd859e3436cfdc87c 8920 mathcomp-algebra-tactics_1.1.1-2build9.debian.tar.xz
Files:
 ae8683925df708112560e413f34bc02e 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 2799b331f4f2ea5685bfe581ba4015d4 8920 mathcomp-algebra-tactics_1.1.1-2build9.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmTswpsACgkQ808JdE6f
XdnZAw/8CAYEAn5EN/tXnF1t/pPLOgKZljzgeGQV0fEirmdYC2aL7SZrluvoJRB3
Yk4G+YpBzmZ2WYWZ4nQOEF2QNELwezLwdGk3sRrVbpFURp0ShG0hJwPgvJsw/JMJ
wjU/6lLODF81dVRIu0J3WiIPGEAh3djjQwCFceMvgtdkO6ymGtN7kvAZnTM98/VH
ZfeTXtIMsPKOA/NpPTpOqnpZwM8bVRJwbe179jYblemVSAck6Opj5iQVWehOhZQr
Mp+Ff196yM7mY/pArR4/HSkrC3Xk742GJPncliB1HlZzycvyG3D9uDZWebBIWKr6
paSkPQI0ochEvGAtLQXdC9B2UYduYz5UoHhvlAvlrsVe2TrTjEcicxPRg+pPjtli
ouqlgX7EZ+16IKnL/9L0ENtOddUYoBTYo9rMLAMOHND1ok/OojA7gpOAfdaob6eW
DHom6n+VtZL+/3J3YbwSU/iUFaLMv9Bk86h/i4WY3njh83xofoS3NmCbkmR97J2h
tPPFyZhnztMBEQ8SpR1UDbWOqWlFvWsLGG+YH3gVgGhXk+hyFGzz3xycszF2I68s
5OLgLi/mhj21v5ukM35gJPFR5O85g5DW3lJ+AEFkCP42qOG/y4absDaeoWyHoETP
nmilwDzf5bY79cplErhQHnxMArnAPqssFAxkpWnuueGALVL4a0M=
=8NsI
-----END PGP SIGNATURE-----