-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 15 Feb 2025 15:24:39 +0100 Source: mathcomp-algebra-tactics Architecture: source Version: 1.2.4-1 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: mathcomp-algebra-tactics (1.2.4-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: 0cac793b9477cfda0bc2d724b207038e8cf3c53c 2294 mathcomp-algebra-tactics_1.2.4-1.dsc ee8e62d503ac875f9680d5438470b5edb826d2c9 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz c814e86512c2191896c347a8e958c621798413cd 9004 mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz 08cfaf6c364a2b419c12d068ca4f7e4c968389c3 7689 mathcomp-algebra-tactics_1.2.4-1_amd64.buildinfo Checksums-Sha256: 574436bb62e720f08704d2f498ac80310b12906c4b902f5692ed8b31f8457057 2294 mathcomp-algebra-tactics_1.2.4-1.dsc a2ea28c801a7bfec14dde89ab22a5054671897c63dd2c60390ea2749dd188805 59063 mathcomp-algebra-tactics_1.2.4.orig.tar.gz 8d1d6a6719ef0bac262819e8a97f58c50522a0d50abb4d227d4204208a9cdd6c 9004 mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz 90e89cc99a37c25d4b79606425df76b5ffd07971c92a7abe5e136b4b5c91b1b7 7689 mathcomp-algebra-tactics_1.2.4-1_amd64.buildinfo Files: e8155f51aafc4585038d785e30029a37 2294 ocaml optional mathcomp-algebra-tactics_1.2.4-1.dsc c40b76dcd1d06f593612d4b395eb4add 59063 ocaml optional mathcomp-algebra-tactics_1.2.4.orig.tar.gz af79bc49a7beafd1175666944bd3c6a7 9004 ocaml optional mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz 7abadf821f4656a83a7b528af9e0add0 7689 ocaml optional mathcomp-algebra-tactics_1.2.4-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmewszQZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURWVD/oCr07aS0KOopsXKpRs9z0N sBlOPY3oueDvoJueOviOlnYKmm7rtVdYB51DGRRCS+dvpdmN2vqu72+Mp7fzQiR8 Uk3pyw68dvyL8+r7xM4UyS2ijiAROd0QEzE8rtlb4uSfzLxp7QBXNe7atGUwwltw SFBmbBXC2kTpv6yh8qN69ce+j3SUdIq4aWevKjW0IbWnjeXuRN1TEUfTzI8MULVG 1wqmm0h2tYIUOD10cShHrbfjslIuyslOxsrr6G5alby5gRKp7XfePh6IGYzONZ2C tXpL7OXCzr1K5QdORyBMizqwCxLciRbiTOz8LYpj2c0i4JYiVIueVT21B7F2zN7U qfHxj5pj9GVY9a+zBPfKoJe9qmT3Cr/WJZALLmdrM8KBN54LNXzT+Phu4HyRorlP 9nuIanz7ap1IF4jwYAmtuCnzpOAXSp+DukqJ2aqmOkRh2hNvPjelgtzPbqCt8zeo ITPeVjnrt4fn6Ip+6fhCOMeend9VSsMlcnX7qnI2r7FE1TJzWHaveFZwWvYc53rS 6NKviRj59Do7upRtVJG/KD41dOIi9w3rEyBkJH3l3+E2x+WYL+qMElbVfvGaPfoA bgsc7GjVsreK2LppiX/ihgFCub7hoxuEIeSFak5e9UvB2RJqzw9/d0xUJrREw3CD Oau3SMdxw1eHyNrQOPQJIA== =UtxH -----END PGP SIGNATURE-----
