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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.2.2-1
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:
 35a32a7f578ca008370c535e0ede4c2879a24c09 58279 mathcomp-algebra-tactics_1.2.2.orig.tar.gz
 cf65e9044340d89257e5bc03580c6aa0268a73ef 8852 mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
Checksums-Sha256:
 e2c5b2f5ed9dec2db3ac436ebed9e271b2dd760fe5372c57e06fc0619e97a2e4 58279 mathcomp-algebra-tactics_1.2.2.orig.tar.gz
 f85de352c1b072c0824452fc01172a03b43390b199078a1a453ffa17b68c651f 8852 mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz
Files:
 2276ad1d3ca88a784bad053c5259c1ff 58279 mathcomp-algebra-tactics_1.2.2.orig.tar.gz
 b13a6dfc142678d3290cade8d7bfaab3 8852 mathcomp-algebra-tactics_1.2.2-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZkESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhEIP/iUBcjLcOe+NcRqecRwNprb3dT6PP7Bs
d1kNM/ZjkwC7OtawB6YOFGUGBTRWC6iQy8Ap8compMiuaY68FHvZ8nXQaw9v6tvf
J5lPWDoVWrjwWOM0K87VNjxCpe5JZY4B0esIklNjxdkBe7QJN5GeWCjzaTjTzqcF
qqsiQ7Xb6cJIRb1/YhQkcAngX0R3BYl+BOhXyOTCMHNsesmAxdePXORWVF/7FPI1
zMWgV5ceJVMgBYE0rLhIT4FCybcutQEKtNzkwzAFqD9nAyERpTEwwGXLzVwyPEbb
D8q3Kxll0jav0iRODQg9bPsawOdkqv7/sSCl8e9SX/jzUlLXLjPl9Tvps2l7T+5k
609SoqDwWfHX6DySJcf2Z+QDn9elnBMckxgyiQu6S0ih259FYlmNxZNdBYlfzABF
FQQ1K0OHhxq3CV6VnmvgpfiAEbxbRkropLOkei1zuqRzZs8pq9wJG/hX0PBOhzbI
C2MBWcaSs+Jp5e6d0jOWB+47QeuuhZlco35scd8+7Y7WzD+rQH1XzIhwTtVm6EMS
QRlwMbjRFH7/uWty3/FdkSdXNWIJM2/dwQf0Q3jgenGuxnF6/yDVEkxTVYCnHJuV
xJORGNltDGdFb5P9yn0nSzAqAgDacRo/WpJdimBvMnGGoVqRmBrfxmnM3/L2t8j3
hfizWl22Xvuq
=21Sw
-----END PGP SIGNATURE-----