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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.3-4build12
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.2
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:
 0549a0a8cefb064df69ec32f6f8cd784005d49e9 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 4626edf8343c197db63a1dd6bd1322da0df8cac2 9308 mathcomp-algebra-tactics_1.2.3-4build12.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 9317f35561095a39fcfd004ff12360bc372546d0e8f24dae0e1f3900856667b8 9308 mathcomp-algebra-tactics_1.2.3-4build12.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 a14ac58d18825d2fe7d79a86b2cd7c5a 9308 mathcomp-algebra-tactics_1.2.3-4build12.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetCzkACgkQ808JdE6f
Xdn74RAAiYj0nv63Ii7ml22GHKqDvig4dmRseadN0V9b0mZca/fXuHUEFVQEJKIG
1pPo1yQJERIfXPUTX9GMl6K/dyUK7vMBo1LOmoZuEvywAVQHnuSVxffRHG612tWV
nf6jXqrLR0OCyw0oNPRpvdlex5IYEfQZ+tCgCMNrxnkRjhXk5qBZ/g+FjtMqqO98
EWcu0lJMLdIm1ATSI+J7lQBYoyZNGCKIbD3wirrMzDQa51jtA81/XadBw0HfXFDJ
siXqQxc/6QgnGX5taL8mTNQaaI+z9NozCAPvX8PE1w6K5g4POpOCOiGF5ru2+7Tx
fV6FiCfjCIuJ7wa1+Ioo1ZjglwStIRvpzXOdaG8WM9ilVf2iXXp8NJV5y17xWKKs
MdrJv8Fd1aUaMonlOpOOTm+3mNxLYiDGBtvOUjhevGSTY4sFA/JRN4LHdxc+DzF4
b4TclVfsf9u1mBZsCG/7c9pIYB7IUwKH3CxKG79ySuQOQV/RVHfhkbaibBMGePzO
DmJ4fWjpvCTaZxzDMVwQ3QLVcXoU85Kw3FrHXoWpKhaoq/r6vECVQqpVytjGrTcg
gnhsxPRKB6pTiv0T3awj1+BJfpUMv5U9W3GfIHxHr9M27KqnN8nOkiws112CRHDH
sVG4T5+AnakNb7QX1cimiwuJld6dt5A52PMHixQuoW9e1bVs1+M=
=Q4N0
-----END PGP SIGNATURE-----