-----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-8build3
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
 1e814a90c7035acfbd975b106c4b89ecf6339370 8812 mathcomp-algebra-tactics_1.0.0-8build3.debian.tar.xz
Checksums-Sha256:
 fa46588280364b64167398c1bdf4e0b20ca21c30f30213be5d12ea14c5242aad 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 7bd677470e586468b3817d9691b28bc455a5dd39759075156d1f860b2519fb29 8812 mathcomp-algebra-tactics_1.0.0-8build3.debian.tar.xz
Files:
 35854a92912c256382b2930619669af8 37243 mathcomp-algebra-tactics_1.0.0.orig.tar.gz
 ccb709118a5d99f4135c54a19f043e6d 8812 mathcomp-algebra-tactics_1.0.0-8build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPutMoACgkQ808JdE6f
Xdml4hAAtuG/0RCt5/T9JubXgL9LVZ0XjND1ckZXPt4uS1zIJJrwvbJbHSXATjj1
t9/eBc2ekqRokDdX04xN8RxUTG/qbIyJKd/xfzzq9cxj2tFeKPigeZ5Vc67F7WWB
4Jh4SfxF7zz302ls+LVjUrlAdYTaoQUrB26pn9uUlUsy4B6aBbImtte9kVCMFzCv
9X4oaowF1heT9WHOIiGMsY4H6gjC22ynzjXfuF0cSdh8+/e8gpGZsLQltACEl7wA
9oOawDwfF2ECYuFjkBpamVbCdGB4EMDmYkH1K2+KvogtIresBZpgqFuhYVFxZ4lK
DbEOxtFpctsROB/8tBx3dl+M1vxO/LxqIQh0OxWG953i1TK2LLsseGHpFvIkeWBv
b0cLpp3VIzNrd+O2WT5mbqoVQPWxnKF8SiWM2qzSreFwWXMBt8Jq455PWklwrgQD
MrCH5y+s8SgAsdHMDSgosocZW3z7kvwXGHWxL01jju1KFUgTR0NzTEEDYZXmHaod
5/GRpPQQBp/C623xGQOtZCUH6BReFIFjtLU7L2Vpb5FkpKJuG6qaro8hdobZ6hOs
29AEgxLP8hCAlUTRuDdzo9nY7ji0n6C1KpaYabMtiUOSXtoTvQu/C+DgqwRrmGPI
qIgKFtb4dFkV7hDier0BujtiqEM3r2I35MrbfCDsnY7BV0CHNco=
=OP3Q
-----END PGP SIGNATURE-----