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

Format: 3.0 (quilt)
Source: mathcomp-algebra-tactics
Binary: libcoq-mathcomp-algebra-tactics
Architecture: any
Version: 1.1.1-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:
 1eb3d7c208d1d0de20bfaaeb0ef0e0a09109db34 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 04f6464a6404e7a2fbf95ba8325f8ec3c844e23d 8732 mathcomp-algebra-tactics_1.1.1-1.debian.tar.xz
Checksums-Sha256:
 85b2c3eb60b12b1241c36ef85e25467323775b9d0234be0caab24b8809863e47 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 c33787bc6167db70f034348a38cce55c0c073d7cffa250bd6fae29cd600237c0 8732 mathcomp-algebra-tactics_1.1.1-1.debian.tar.xz
Files:
 ae8683925df708112560e413f34bc02e 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 b4485cc5e502274cbb309f5be7c15d29 8732 mathcomp-algebra-tactics_1.1.1-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSKoBESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBr4P/iKmGSR7xgDdxdAET6bDfpih5Nh83pru
kCIdQ1J+JbZGuOerFUsR17DLjBSzUYhQ2tInD2mfD5azsgkaSLCbvQl9NbF0I2zf
mrxZVp66OSAm6/teXNFT509+RRnS/X9E6Tf8NRu0K7zfEAaD+tv4ECK3+GMcswmS
kYeMACgcfKFixCMqwJfZz4EhGUvjX1U+Vtc7mfVLQGWafI2n514UGrjeV4+6Tyj5
MAZOWDCxSxLerdsGxhA0PBbhdaBNfV2Y1f0/LkFEugcGeExKK2+LM60LfSnM7TAo
z4ygqXLJCzk1YZ6oMw0PrjTQxFYSud/1Mm12EzQot5uUQKrsFXlV+ZVbpIUiCCvn
Q1ncZwnGs/nU4DvvaYVRZ8fnN7BROxjx+beQiX4+N9yL2VWVXP0hH7JKYp+uEr/N
thhybqR+jP1ir5qEYM9aAFCpuQbHcWwl0xWuYVKmeDFGzkrNinY+qO/8GvnSJioJ
Jykz9a/NlxOAKREd4Ep7mv14FpuiMv9X2zA38A7R14YcpaB16ctE7Dle3Y/Y99om
DGoYz63KVq6brz1Wuak2NhVO+ODyarFunovx6NJqpnxpRkCkN2XfISCdRljlEyFN
W5jqtx4fY0ZsSrFxnuewVniaHRFEiTvw81IZ79G9XBhjasuAelUL5xjNvfBBCvK1
04jXSC7Sv8Ac
=d3rR
-----END PGP SIGNATURE-----