-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 12 Aug 2026 14:46:15 +0200 Source: mathcomp-algebra-tactics Architecture: source Version: 1.2.7-5 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: mathcomp-algebra-tactics (1.2.7-5) unstable; urgency=medium . * Source-only upload. Checksums-Sha1: 2183fa814806c5f7294b6fb75952122be8f5ba88 2301 mathcomp-algebra-tactics_1.2.7-5.dsc 4c1b084768e1385768fd2d50d9447dfedb0121f6 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz baa62145c5d54671917b27d91227e0c28e73dbe7 9764 mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz 83bf75a0029ef6319f30b7ed3dd6bc7d3f179cf1 7524 mathcomp-algebra-tactics_1.2.7-5_amd64.buildinfo Checksums-Sha256: ccc2cb468de702e9d9ecd39982facaa7038351ea949e8740d5fa358c6ea5d8c9 2301 mathcomp-algebra-tactics_1.2.7-5.dsc 8bef29a0e3decbaca24bf85def8f2ea073171f6400a77396b2f2b14085947f6e 59382 mathcomp-algebra-tactics_1.2.7.orig.tar.gz 9e77fcb40d7caff68c9caf6fa97ededf43d451e044ca0b199d9d5a5e9f95e53a 9764 mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz 3690f4c0b955db5f91d651b7f110ec89a6c36d84484ee07480d31f380eef6427 7524 mathcomp-algebra-tactics_1.2.7-5_amd64.buildinfo Files: 2cb52df883c9d7faf2cab291ba75e7b6 2301 ocaml optional mathcomp-algebra-tactics_1.2.7-5.dsc 0e3dd126712c25e057a115c10b071a68 59382 ocaml optional mathcomp-algebra-tactics_1.2.7.orig.tar.gz 072e21e50ca8c9991254110372bc33ac 9764 ocaml optional mathcomp-algebra-tactics_1.2.7-5.debian.tar.xz 5fe648772d7a63db3bd6370a8f7aedc0 7524 ocaml optional mathcomp-algebra-tactics_1.2.7-5_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8bFQZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbwJD/9D1dGdtbFH/8EOCv1xcl2F cIYSja94yWqQKA/wEdUIoe6nXa3jn4T6UYpOkiPpYs37EBWYHxAlCF+9zsfopjJa w+YomMpcKqXF9P2nKE6OC7dHT796IJOjVTHRx0xno57HRgYy23nrbCuGQngyeLZ7 DWgMPMr7Zv9Ezw4asahr11eXFYvJ1XJDsd77b+j62c3FgBkwOXMW4dKwppJ7ghXr 569BICAfd0LHcdQbbPO3kHwkrZaToL6hdh+BY8+cMLoS9k90fzdMG8UQ31sy4loo hfZ1MuzLTRtaxfKxYKbCK4l0/wudAKckrxqlzqgjZj2bgdQO9t/tK0fHtnDsS/OC wz6BzJoYyYiXYNpIPVffoGWQy1flA8GOGjTFePRzeshJ1wPeLa71W5r7MRoExWu3 fG7GOAiw9/bS0vubxUqkyko1Z4cDAZIVBNY9BdyUGkczle2rgE/iIuzNEee+3Qcl f31uIfOA/C6nr96MmGwsku2WJn3FdjxCrhWoY/L1/F/oPPGIT0MCXIddkU45UhVn 5QM2CMsLwrSmStdsQEUbonaCRCQ0BHaAEb9iavJaiU00UT8Rcv+LThUWJa/CRscG UnNuC6iRs+lwQfuccsEVT3y6cBddWHk4SBWA+isCaXxpeTGzyLtx5fBE7kpUR9f6 KB0aQL7imFoHoSF446mWRg== =oyzA -----END PGP SIGNATURE-----
