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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.4-1build10
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.7.0
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:
 ee8e62d503ac875f9680d5438470b5edb826d2c9 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 26acbbe63157f4bf0819014cc68876aba2790a70 9308 mathcomp-algebra-tactics_1.2.4-1build10.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 675e63bf15340591205568953a70637b83f01aa63635ca6f75c8b405d47cff05 9308 mathcomp-algebra-tactics_1.2.4-1build10.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 2893e42386378bf2b99b49da0c48361c 9308 mathcomp-algebra-tactics_1.2.4-1build10.debian.tar.xz

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

iQIzBAEBCgAdFiEEkv5Pi0DK3E7M1gwfWWH9vpxhmAkFAmmtlHsACgkQWWH9vpxh
mAlt/A/+KrfF+yxDUZOov9J476OMynHsUTAn227H0ckflGXGe6BIu9qDK3tL7Ce3
vW9DJ9By8sWdtJL+QAxA5bQVFr9QaWYRSyKXEM6+nuwxcPOodbeMVU4L8LZa1DiY
RYl3YEJ7pU8u2L3DH5k6y2dVkK9T7+jAOkuQBbUH5jlhQmgQtU8PDYtbjSSpnRNl
eXcFabI4loU/oY1REQKrlGS8g7VKvwL/2dywgMDKmQPNjea2dUMUZ9SMmm4VFBj7
gyJphTECAku9I877dH6LRjjpMLGaBtCGa2zc/7ApET1Qfo3UJiZlh+Rb69Tgvemj
itmxC2l+is53hAZsihfB6bowWXG69mUzGjCQXjtgp+OHwyxVpffYNHQgnAAGwulT
//xszlSawq17Ly/GWTwLdaU3e3pdhGjX5aR9Vs91LzQ0aw9Xn6Ybh+Vnya7pDMUX
R9scacb9rYkeEau1EVxIkFZ0mKGJkPzj5YsQOf7EElNk1D8n1za2HHhk5JdBKwmp
PzKFCm4PjtlVOxr63L3GRHVBT64rOC805OdMg3jUGmVOdDmNBzRGSijUjnhq9cOx
GY9aDzcSR/z0NLCN5sojQ9zUyQaYUJSWbqott7w9ys/1W8AAKL/tuioJw9k2r0r5
5jyGtZU3VkcYqPP7FhcwSS+bGFL5WPBtvOZeW8YsXpfJU+kU6z8=
=oqJh
-----END PGP SIGNATURE-----