-----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-2
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
 738ec5ce3a15cac58ae36ee31f7b2dfd74f1b216 8756 mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz
Checksums-Sha256:
 85b2c3eb60b12b1241c36ef85e25467323775b9d0234be0caab24b8809863e47 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 09e20666a64ff4a6b0b1241c5613b8176ce20fae9b300991559dff37aef2663f 8756 mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz
Files:
 ae8683925df708112560e413f34bc02e 52308 mathcomp-algebra-tactics_1.1.1.orig.tar.gz
 401d9a64cb38d9713f96507c7fdbf4c2 8756 mathcomp-algebra-tactics_1.1.1-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSlZPYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRGN8QAImYkIa93FuHewDm8wAJLKe30CUf3zks
KGfg2A/gTj4gU4EUR7/wxLSCSPWkoK5VTcRP+B8YmiKzq0o0mluWN6Gln9fStHpj
WuMLhoq0r1g/0hZ9AAJo2fsmTzpg4P6eizRcfaSygUhpZov5jzMvjUgQVVPTgLRh
w8Tz8z2kp/hnJ+JNnpIuF3E2IVZ5w3mBooER1ZnYDBwqDPdL0UB3fqbvkhRsSkyC
0G0aIadYB6e1Sm8nrRMxxsklygNwTDfRq+F2iuAdsSAwftjxR4Anmuw4mc8ZH/9I
PvBirS5PeNOMn78g1S8NnovWrk+QikgZ/uvTWzIe+wkRhqBA22eCF1T//qbtPLvX
9SUigBz9wSQISoBUIsKit5yFNMMtayNjobrY30+0FiuLDm3TnNYLH9VkPGZzlz4+
sJzELC31oWu2obXYJbNfeWGQ7ksKF819M7vJqbf5irA2S7SfTTsoYtZuMt2Ufyb2
Vfwp0wB1VpYKgWSH0lxTmex8YMIm8g9WBORe0kGlFt0edUx+8VehCdfBdpsfTNNS
kk6HROA2emW0a1Kfke6+jyoXmrAdNqIe2h/NAlJD3hucsji9/V8r4ojY5z/sXvOM
kSCENo/8S7H4Lw6HyRCiY39N+Lz1RSITbfyO14blQMUYBEijXDgtulx54d1jES8s
FA+BwxfF0gJW
=M0bf
-----END PGP SIGNATURE-----