-----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-1build3
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
 befbfc96b9c3d6b1f344a2380e133dacb8b7d944 9140 mathcomp-algebra-tactics_1.2.4-1build3.debian.tar.xz
Checksums-Sha256:
 a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 30174fa5b9ff6190ca6a2ec8f8ffa94bb414dadf3d0e252890df30d4314f579a 9140 mathcomp-algebra-tactics_1.2.4-1build3.debian.tar.xz
Files:
 c40b76dcd1d06f593612d4b395eb4add 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz
 19ccfb4a3a4fc1a9f84d44acd9bf2cd2 9140 mathcomp-algebra-tactics_1.2.4-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmg2xAYACgkQ808JdE6f
Xdk3fRAAkfYPMDpMEPINxSvpeqrz9Q8MRGD3lqCSZ0mCbyNl+aPDCO8pkWW/xg6C
4322mX7voSXfJh2bP8P+3jpOKh/achWf4WScfF3vKJTsBYL9XAvDR3Ammx0nCekE
bpIStQW1aO/bgVvtLSzOJ3p8UhK0qKPJHx8GlffSxMAocPtMgBAIjRifBRFUddYm
rPwfTXR6dtwHI8RXac9UEhuUk8oKthWTTMVw2beWomFVLYgHTWvwVUB7/aErUGQa
tzwKHWXcMPFt2vCJvEPARdvNx5R1o8DljiS1x4+/jBLUZT5hwdt18xWdcp3Ioead
nnwN4zbAAVQPhlvmJxE9oH22nYOvVTyKwTM583GlpRl9RxwB2RRpHgMF/6rzs5kA
c4oOKmunXlLVRzg8Bq2YSyxLIfgzLYqalYQZexoyeziOnb/EJdZagNLVfSA1H8if
V2qa4+il808S4yU6iS7ZTblcrX2foAexkWT+xp2CRKVwJB49ZRWZnev5Rlwiu/EK
0tqaI75mWswMqCvbV1teTvXlEXNg/5ejPhb9gLOXFFWG0kaT3i/yeisEtKAqSrux
JTQV6aJeS/X7gRZrs2rkhASVw/roSBCpK+32O28KPLnvnT0K/QJhwENMI81yvrMV
K7o9wULKo94LKT8xjCbt/ubM8SrUei03skVBbTRN25kJP/Nknkg=
=PVdW
-----END PGP SIGNATURE-----