-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:58:48 +0200 Source: mathcomp-algebra-tactics Binary: libcoq-mathcomp-algebra-tactics Architecture: source amd64 Version: 1.2.7-4 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-mathcomp-algebra-tactics - Ring and field tactics for Mathematical Components Changes: mathcomp-algebra-tactics (1.2.7-4) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: 3e2e06197ce575add4d46b31bfb731d7e6eb55e8 2301 mathcomp-algebra-tactics_1.2.7-4.dsc 4c1b084768e1385768fd2d50d9447dfedb0121f6 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz 9083877e0154324c229d261511422a7dadce3f37 9744 mathcomp-algebra-tactics_1.2.7-4.debian.tar.xz 1a08541a904ee317d21bcfc36ccd3d267a1c2710 950552 libcoq-mathcomp-algebra-tactics_1.2.7-4_amd64.deb 35e77d6ab0003f27a5426c2da8c387488a80a592 7594 mathcomp-algebra-tactics_1.2.7-4_amd64.buildinfo Checksums-Sha256: 4652bd22adafd7c688a1b254247a0f6271a7292e2914f20e66b35dde88c779d7 2301 mathcomp-algebra-tactics_1.2.7-4.dsc 8bef29a0e3decbaca24bf85def8f2ea073171f6400a77396b2f2b14085947f6e 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz aed8ca9b68794fba0549b96ff552f0ba11680662b7e74ec3ca99ce7c60acbf01 9744 mathcomp-algebra-tactics_1.2.7-4.debian.tar.xz 4bc1e8898711f2081743ad72913866109513c43a96ee5c3beb2aa5989cbccce2 950552 libcoq-mathcomp-algebra-tactics_1.2.7-4_amd64.deb bd9be6bdc5466094acae575c3bb4989671ae119cf2afa3400762e257c102296d 7594 mathcomp-algebra-tactics_1.2.7-4_amd64.buildinfo Files: 89269d74ff4aa766152cfb33346cf468 2301 ocaml optional mathcomp-algebra-tactics_1.2.7-4.dsc 0e3dd126712c25e057a115c10b071a68 59382 ocaml optional mathcomp-algebra-tactics_1.2.7.orig.tar.gz d2c915d5687b413164f0fe355234dc81 9744 ocaml optional mathcomp-algebra-tactics_1.2.7-4.debian.tar.xz 6b8b439fc2b7d7329a03d355775bc0bf 950552 ocaml optional libcoq-mathcomp-algebra-tactics_1.2.7-4_amd64.deb 242b172d09dabe8945932756c42b2ebf 7594 ocaml optional mathcomp-algebra-tactics_1.2.7-4_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpp3dEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfh/D/wIYc3nF/J0XGVxWXkfgfTE rc1DaVyqItF5AeXaMJIGfBo8sz0RY1Nj/LIVIBvKce3+n7PXvWCHCGj6d4u3Spdr CDha1bXkcZQtEgqGtcjI0K1rXRFMzX3x/kiWv+haBoDO+8IY6mShQ8Enps9xQqwc eo/r5AEWVnYkC8ZgpLn/b4rDWYqqFtHnaFX1bUb4hFhetu10DaxzinY47IVwzsHv Tqvlv2cjuWlJ1a6Q3mJsN3j6Dog1HhdLak8SywAXAZhHgtWORVwvvGj4ts6znGRo mNj+GNgG8lNZYE+eHinbrJk8wEP7Jt0wkvfptFeVuuwXdBYDTM4LZNEmn7QCojJu ocxBe5A6gsD+el9nRybiwSk67Ze0Z0ccBXJSzwMhbc+pRdlrgLAnKcjGiamEJA5V Ifr4dnboD1hgIwnSnymGE9b7oTiDh4D7V7WiVtWRC3IGpiCt6gIhRAuFqyMwSG/E PGlvcegUdWfnp11yAbQTl+FO8cbFNYjbDsGrDVd02Tk9tNDtufR/xJJG71YMBsoE Swzka//+5SneV45Ie+LX3GwDoLqPl1JI/jY4IkRjg6tRuCJEEE08gncp7WJwk1Sl /BN7VJiylHLMxsda1nYRvaW18n0xuHzEcAqkq4jeaHk6aX7l+rD1rieqkrneH21L m1KyXMq3T1tOt80gvOXoUw== =SIv6 -----END PGP SIGNATURE-----
