Back to mathcomp-algebra-tactics PTS page

Accepted mathcomp-algebra-tactics 1.2.3-3 (source) into unstable



-----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-----

Attachment: pgpQHqDVr5XIb.pgp
Description: PGP signature