-----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-4build9
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
 4b6090e8bb062e7de01238c1fe2913118e458f7d 9268 mathcomp-algebra-tactics_1.2.3-4build9.debian.tar.xz
Checksums-Sha256:
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 53e0ebe8c17b2222b21c6c68996c076c7655e8e2505fc18d92c47aa5f74331d9 9268 mathcomp-algebra-tactics_1.2.3-4build9.debian.tar.xz
Files:
 c6c37f70626cb344b6f5954203ac6cb5 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 971a75fec374dbe7e4c0a1fedb754be4 9268 mathcomp-algebra-tactics_1.2.3-4build9.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAmdlq+EACgkQ5mx3Wuv+
bH2yhhAAhHiZDHT00lD/NiQ9GrbD5nAfvW4zgPxB6fvcAkYENZd4z8SqWAKmo9UW
Y0jpHbGnFplFuIwESZ9KyNEQp01ER43sbSJOMfrn3pbKCMOPmF4rKEu6ZnV8ZVMZ
Ml2bngP6Z/jnSvHPz6B5dJr6Hlr/ZGgc62DfGaH6xYq+ep2NnXNDlnDr+gpoh12O
OXWzj3IED9lQ/YNLijnN+eUUaaYkvNj6iD+y3UTw7t+u8o9u0jkm02VjApVTu4Ny
rmZmxew2ict9YDnh7b3WQDGQ43fy3pWR3Gi7exuFpeGnpAhTuxc3ci244J46w36P
qS3Ra1VYwdSyr5kS8HwdkstZmIP4KlaJ+N8ASdEAUix6v+NaT2lxLggqKXepTNs2
nCEe6xNpcjhTZTsx74edeNnMKmnrd1/i6ZLWwoQNzps8lXXsDuC1dVdD31ZoLrTh
P7+MKE7R1IIQiq1yqRi1LAMyN6n98IEUIs1PnZD8wuVaP5U5vsShSPR/ghzuXt9A
QElAqka3UiB1AgJAc7kDmuzaoPq7+rZsmCrV8xe2Sei6zGs1Zx/3qGhJaFmmpXx6
aICyIYAveke7FQA3gJSQfWCQKlROHSJfAE9OOAEYOV4a7+DQAcSGFBdVZE1dG1Zl
0wNvfGNn0mMN9XC7o6JqOVet2nogiLdDgoLJLiyheinKlNWumSM=
=/2TI
-----END PGP SIGNATURE-----