-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 16:03:37 +0200 Source: mathcomp-algebra-tactics Architecture: source Version: 1.2.3-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: mathcomp-algebra-tactics (1.2.3-3) unstable; urgency=medium . * Fix target distribution. Checksums-Sha1: a00f2b54c6c500b1a3f5c2dfc321d343d76fe641 2282 mathcomp-algebra-tactics_1.2.3-3.dsc 8fc7cdd70cf51aae6d423305bd3a44d231424d17 8920 mathcomp-algebra-tactics_1.2.3-3.debian.tar.xz 4b129721ad105c1ae43a3e20430cb5e9f30d46d6 8893 mathcomp-algebra-tactics_1.2.3-3_source.buildinfo Checksums-Sha256: 1e65cf5a4ecf28c4f75ac554eaa1b32dd1936dd2b6b565b6a7c90bf9cf9966ef 2282 mathcomp-algebra-tactics_1.2.3-3.dsc 890856b3ee1bb61a2638689d383fab539b0bd729d665d9b78625dc85cace5e4c 8920 mathcomp-algebra-tactics_1.2.3-3.debian.tar.xz 36e0178bb7a2c0004b97057ceb2d28322b525c9660a5e189d4e06d05953079c9 8893 mathcomp-algebra-tactics_1.2.3-3_source.buildinfo Files: 6dd792b3d64bee61da8d29247669231f 2282 ocaml optional mathcomp-algebra-tactics_1.2.3-3.dsc 4032d8184c34530a268c75b309e0b891 8920 ocaml optional mathcomp-algebra-tactics_1.2.3-3.debian.tar.xz 6557b7a09566114be99b3c1bf6ebe675 8893 ocaml optional mathcomp-algebra-tactics_1.2.3-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrtGUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRBfcQAJ5BwOSh37HRQppFocO2xejSe9N6cG9O Mnzx5fKqMw7xfunVgL75Q7PaKfOsmpGT2NN2w2gcKzODek0L4rhvk8s1cMwWVWLL DAUgYTE2quxmUVdzGmatE5GOraWZthwJY3VfvAOOZMg2UPQPtcxY+D8DHqi82RwM EnDe6hn2V1//7eAj1FS9Eav4t8jYB4i6XOmGdlHsDgPysVXXCtn9VCPRcNzd0NHC BrPKhbXUxYvs2rpM70RTf35zhOxkGQg+4leLIeVBDvuzf+yfBnGzs6HNKRq4MKzL tvTGYl3RNxXtBx4m9kfz/vwe9xh21YIeyiCgm2CqHl/JvC6bcLRRogNGfqjD6jla dmmEJFvlrS3Xupts85Phndf9uLMWxoADTW/HOlAeb/cl2LR9IESQw1sje0g+WUXH abhnnM2hiASqAMytZXnlQCu3nCPBkXOZwcMgxjB4x7VlVpA85trkLcLRsPGdT80l ykV1CcDehrwo14xnfa8MUaWO5O73Wff7wn+isVC/coo2vmRK2j5po0HjhzqQbJel lkkap9PxHyDTbqrKGMew4DatggBYdwqSehdM7krZ2J3zUxv8rwyAsC2ZV5/g27S9 Qu9yEkoo15ZYICumD+5T2LQM776K42jwMXKRT0kG5zzf7YK/hvyzDXJwceB9q1qH f7G6FqFW7s6e =d2bm -----END PGP SIGNATURE-----
