-----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-1build2
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
 db41ce60ec3f9f25482b874613be215a5c50fd44 8980 mathcomp-algebra-tactics_1.2.3-1build2.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 a515a06cf2a12bf7a86effe61de036089e46eae93f31dcee711588f43874b3e7 8980 mathcomp-algebra-tactics_1.2.3-1build2.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 4b08d390499df30b5ed28bfb5a14530f 8980 mathcomp-algebra-tactics_1.2.3-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmXP/UMACgkQ808JdE6f
XdnlTw/+IY+8U+2UKZM3LCzWP5AwRGfHbAxRMa28CCYbMTR+c1dqWlbJ3m2lmrIg
qptd/oi/nzHLPDaa04HeiXunne6Qh6m3IIG7zJwz5C4MuAOvgRpKoY5Zewox4qSv
LtjQ2nrNgB0JfE5HvfjrpNzWfb3K52yy/hPpD7JOMpF+drfHaOo/0YmckvtADULN
EXZDLZHpJ0xdQu0qAu96DgsfqeYgnm7meii9ZJTmGHpVFlGv6nNBCB3W7ldVN1ca
j2BrKyDJX3fwRwD4Ic/u3Y4XOHm87UDBdLmArB79f5deLYy2G9iwb720wRm0v9tj
DqfRAKKAThIwCJean6FqoEPxO0F+or9mz5nA/pnqlg36mnMVGmc40aBghfnHLWQg
ElVglHY6J8W4QoTJgVMzAkLimqBHUzFblbw1AiLuzz013SrwpPCOeFDFsbaxj7Lv
f1IzGzek897stWr5GUoeRyStYi5byscLDmfTWAF3bsr0A6eEKe4ktwDz811s9Guw
PgEz0oOOHucpC+nqond4B+OYeKBG2AeYHF1r5oWltED3MKtdQTD/6lSq+pnlD8wA
M3AcGlwtGaOfglLvlotgqIgBI9aOM8LyqNn+xu2byhajpO8j5I7srIKjWdSFw8RC
3szfDLxF3ayRlD4TGQ4KnmWChTJXlhj9PbpNKxMRQDu5F1cvSKU=
=b7CG
-----END PGP SIGNATURE-----