-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.0.0-2
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.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics
Vcs-Git: https://salsa.debian.org/ocaml-team/mathcomp-algebra-tactics.git
Build-Depends: coq, debhelper-compat (= 13), dh-ocaml, libcoq-elpi, libcoq-mathcomp-zify
Package-List:
 libcoq-mathcomp-algebra-tactics deb ocaml optional arch=any
Checksums-Sha1:
 aa1c3cfce1fef380c1f084d965e9f39e05197579 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 8837f57a2ae159f3724104a094ef2cbfb670dde5 8524 mathcomp-algebra-tactics_1.0.0-2.debian.tar.xz
Checksums-Sha256:
 fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 6cd634f2554bffc9128b9e7f1755ae35b76a7d277b1f585f67b94149322a98f0 8524 mathcomp-algebra-tactics_1.0.0-2.debian.tar.xz
Files:
 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 86d3baf88274f0367e522fe72e843c7f 8524 mathcomp-algebra-tactics_1.0.0-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcn0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRv1kP/jBs/XaNnomvUdiLN/PPOu7y5VRGW6qb
ywDofkssNz9VzfhJZx2ONkRPqZoz2VB7qOmjDpoRsKOkObCu9EvYrvq2GQshO0g6
d5w+b2hoW3R+psp6evTW5M7Y9TBzczRPycsiLE0oDqcF4BDU/zNGHx/o2cgj37TA
3jcW11emRRz2dMbjedbahc4R4uLHLQ2tNW3bGry77MCe3606hPoU6LpcNF69foUe
PRAmfUtEqoOkjUlv4wTU20iSfYY+u0BwfQ9YtdKj4Ep8l722JPbfpc8cBO0g2mOM
Alyffya9ZJX796XHTiIQ7PUMUxcMZveiOEmiwUkWr0GPBdolZFJvwIpUkL6gbgh8
T5knZthxqLapPa3vOPtJuGfQpgwuogCgUISAoAaIe5SHqVrge7u16ppwh6HUTs/J
aj7Otv72HRzwmwf+MDlwN+tf/jmwchGiTv7Ye11+Yae7VhZEclD7LbBpu4um7ubf
90cslDxmA5RbSAtgToKZe8HpZO5S7WKKb7FmwV2OP1/bcE1eigXH2uDwkPIrR9Qs
7Vj0XMWF6JkOnttNU4QLTJQ7rrZRV7gon1Oiqz0g7X2UnSNT0rlqjIF/6ULNAasu
7WzZCEkmw3bgXIAQ0ufjv9BATr9FD34S6z52TwisMTlVgOG9kSKt4p/xYRXGBiaF
QcfY7MMRboIk
=2tBd
-----END PGP SIGNATURE-----