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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.0.0-6build2
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
 7182a2f2d4e875e36cd6b05652fbe3ae4c9b2ce5 8716 mathcomp-algebra-tactics_1.0.0-6build2.debian.tar.xz
Checksums-Sha256:
 fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 e7e102fc5e43b65ef2cafc7ff8e2f5840bcdd35f3da1b9c20b65fe323aac218e 8716 mathcomp-algebra-tactics_1.0.0-6build2.debian.tar.xz
Files:
 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 d84743e851e9ee149c48604665a62a75 8716 mathcomp-algebra-tactics_1.0.0-6build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmLZeU0ACgkQ808JdE6f
Xdl+kQ//SwBXMtngbNvWq54B7TiUz6jd+xINMOYNNgRzrNwB2ylBssXgImJsfsqK
f7tqs4pUZSKCdBAwnO8VQBLF78uydylVo/4R2kOefZJ82qFMKSAVSG69zkL9/iG4
Q/2eLcel2OU73vP3i+ETXurW5M52XhSnKh8X1VSi2rUNYXIddmxtl74BSHAunjgj
N+OkdzEKYxdd2NtBjLJB+L0TcclX4ynFRpJyyzoduRiILz7W4PiEZ8MKKQdh46Th
5cS34TRL9yzpHCwc1j390LKzTOQWwLDxsJZG/gflz7qne2Xg0Jh+LFEXUTwlyOay
QyJfSwO8IBp2lcAwls0j9TXK9W0fi9GYepOSj5MyCpdu7Lhh8eAgmYWtbW4VAFfL
h0MEw5iUrRcWsSl0E0aybBUIMXer3XfY7n/qpopEkBfM05yHG/9gWWJI99BhwcS7
DqYfGbnB8RxeobGEkfdpDOw8YvamV1aqpLeCk6selpduxAK55wWow8sDfGOl5/WH
SCdtG26PeZN0RhFXNBo2BguDr8q3aihXOoZ/ev8hA9pK5+COGXIlI8psrFtwQzL8
d23vcHjFxf/U7AJ5WIcRjp2bFujYHSg5yxHc+Xbv2whMEGtTf6nGbxRKLNjg0nAj
luiFxci338ftwlyYbi0fHkFPhzgY+qboZcG0+pOdxPgm7uE/2r4=
=3s9X
-----END PGP SIGNATURE-----