-----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-6
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
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:
 aa1c3cfce1fef380c1f084d965e9f39e05197579 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 024bd12371b27b17bc0d2f74154b2177f2e90e06 8624 mathcomp-algebra-tactics_1.0.0-6.debian.tar.xz
Checksums-Sha256:
 fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 74280795b9b5b085bea8b748f9004cc5aa4c048338790fe266185e82d1252211 8624 mathcomp-algebra-tactics_1.0.0-6.debian.tar.xz
Files:
 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 9a2689fd8f587c875c8a5a093531560e 8624 mathcomp-algebra-tactics_1.0.0-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLD6SQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4qYQAJaUJqODqwpa68B0GTJrPOSJISLxh5M7
46deI5nPlWop7SjSAHEWYXYwhx75OPZkPFJn8qpl/a5kOhxDrDKnfjF2n/wahxv+
yoJCkncmzFgrGKiCsV+M1XmNvHVd4Jw+O0f6VXcQaJ48J+vTdSKz4pcfn+NWUwJ6
Be28KU7RMworDi8dkBze6/erkOkhQDC399KPUwzcIJxzKGXGm3BWP3XK5agwBxYi
zOd750DnvGlkNEak+m0bMPhrEGCjbohUii03V6cnzxHL5/+1Gw1hocAYoqM5oCf/
MEnPkKHLgMogVCZQO3Qa8SHq1lBZHYfS7GmI5p9hXDGcJOMj0+fwev26lMrWFWJp
OftiK9pRii3uRbtu2fS3jMwdsg0/kHBuh5YtPtJhOSSHeenSzY1tJ1AnIRGqXTSv
66QxygfwUAWCtX612lWpjIY2+j8ylahgjYwFETdzvfctkK78q5tL0LwZg2+P2SgS
4sWSm74REX7xufeTeghiRJHFxDk/EUZhumaMwDluRYhmgElz/SJdm5yW4I1/k2Wz
UXmyJ2Gz6BCZSQfSEjbzzdWNtLC+jBIXpvGG834zCnLKFZSXDxtslbw1RO8xxIpM
tpCSIH96PVULZPfZw1oagS+b9Rs8urnahnaNDWqRnWvPgCECxp3vf6CexhLcZyQd
gfgf2DKgDfCh
=4mYZ
-----END PGP SIGNATURE-----