-----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-1build6
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
 ca54009c21bc83bfa3ddc62c2e5f0977b6ee3d86 9192 mathcomp-algebra-tactics_1.2.4-1build6.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 f17a6db2f8376eeefef3df2d715222e4563df81e251df533484c334cb7d8a600 9192 mathcomp-algebra-tactics_1.2.4-1build6.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 c51b098ebfbb3f4d5b6f86bbd725ac03 9192 mathcomp-algebra-tactics_1.2.4-1build6.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmj5QusACgkQ808JdE6f
XdnIQw/9Gvf4HxheFtvDtU3bnPfTVx5SGIMV26tyUU7YTgN/l4bd+W7KkiT2taem
NtqElZRADLKi2YdHDvNHP+ivDaE/wsxvXViabgY3u35JMMwvK8ZYodCN+F1rI8qX
mCDGktV1GQzPErNvTvy0e3faaGzGVMlSP1iXKDW+EtAqXebjGBQ2Oz7WrjznrOcQ
YnfVaRDmR8aUnxk5pc46B9nz/SlN+EdEJwAc2GkSjK6GBq/vrzneSLDWi1puNHdB
3sbG3vmFnYEFNkQqlaA1IDQenp9AsA5/ozM02adALoYCBlslmtvIaS2OIcGotRS8
6DUK/k+R7MKwdb/QwO8ORHB7Bxrc1bIU/9AMsBrBYq5jexzasokJW4/5EaPZLEud
jQDAWq98n6PuR9tvtc0Y2kIfswpkWCRSW9gn1LMpPQywv4oYU/032k9YPcvLSlO4
bnGN2GGdM6CiAxGpsuB9yRH4q0Po82tGD/MXxR5iUYkbpswlTPm2i1gs2UmZVCrl
zy50RaoE2HieWqbxNz/11d3jR7IRnmsnzc2z3K7TTb+ZAUX08IHIh5veC2L3n4+I
XYhkkzzRrRk3dWFTiGUI96CVT7N92OWII0RneTeMs63nqpyMbMadmnl9qyTNBYb8
mwjz2SM2owC+5A/GWCwbFg7LXUxHSLil+0JpbSHwHfXZxdrxx70=
=xYiL
-----END PGP SIGNATURE-----