Back to mathcomp-algebra-tactics PTS page

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



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 20 Jan 2024 20:50:42 +0100
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.2.3-1
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-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 189e6c786c422cc3d3fd13ee8f1572bb9c7ecd01 2282 mathcomp-algebra-tactics_1.2.3-1.dsc
 0549a0a8cefb064df69ec32f6f8cd784005d49e9 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 f14bb3b8ab2b8ad54e24bdfa6ba063e63e20981e 8864 mathcomp-algebra-tactics_1.2.3-1.debian.tar.xz
 18a9bef4619aeee1212f2d0fa672ae918207a17c 8682 mathcomp-algebra-tactics_1.2.3-1_source.buildinfo
Checksums-Sha256:
 83d2cddd29065487eb6405881d96664a49a52ea0ae134122a50e1b3e46d7a856 2282 mathcomp-algebra-tactics_1.2.3-1.dsc
 a556875e9ed8db1f77474de77c6ae56142c4477a9f11438d70e1f346c90001e4 58366 mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 b96c3c45d41c7543e7212b806d95b7989ff038c2e0ef3b348fee6cc08adb5a25 8864 mathcomp-algebra-tactics_1.2.3-1.debian.tar.xz
 aa50ab3fd01fa86f0a8856b2ff44924b29db0a35e27e613bec127b712ed03e78 8682 mathcomp-algebra-tactics_1.2.3-1_source.buildinfo
Files:
 6b2723787481b82bf8089d773cb2c285 2282 ocaml optional mathcomp-algebra-tactics_1.2.3-1.dsc
 c6c37f70626cb344b6f5954203ac6cb5 58366 ocaml optional mathcomp-algebra-tactics_1.2.3.orig.tar.gz
 9aa9bd8debc8eb28e35a9ae28cfcff30 8864 ocaml optional mathcomp-algebra-tactics_1.2.3-1.debian.tar.xz
 b02cbcc56eb3dc40a0c3bd5a61877784 8682 ocaml optional mathcomp-algebra-tactics_1.2.3-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWsJPMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRXNMP/jEqbyrKC8SBu2fs46loVFVSWu2rhtI9
2a2zg4jAWcnCvyuz3ajxnHHnlzI/rL0Hs10LB79xsXuVDJc6o1evMkYKHhmlpmw5
mwU4SxB+t7SLlADZQeEy66sp1e0sgxv1ax37L5AdqM/ZejZW//nZzRpjdd/f8pRU
KuhI09lPLtWEppHIgOmWUScTRoWlcVZy+MFdORvvxUvRI7chrRqrES8uuJ8m35E5
i2rYfaRcHhC2CEW4rsEsbtsRBQ1XpSF395WiA3UhfCrWs2CyMopHpVc9kaVoooWm
Snwvst/QTVK1T4vwlkNoojIWl4LVBH+A0TTDIMuNCN6jynsAo/CBhmxJZ52v85VE
A64YvvCEa/n79xh5ihRfytlpJh+G1he5OlCx2F6+OLjcDgWjBbDY0qRJCJbi64bW
cq2iS9QyCVtvNTQbBy1roOsfpTR3ybuB6NNLHeDkJPGXWzkHhz4tLKryZ2RWIaCY
SZq19X7lOUznOdl2TCelQpueKz9cay5zcnSlIFCykILj74O8Zk4FVjjw49Ob8Rgw
FVJQbuAYbWaMFtWhKW0+tJHzH97GOKapC+Kg+DoCkeVp8XEIACgKK6S52pe/en83
htk6gWxqwD/PGkV4r7NAyAAGSV6gCyevWzu45YAxSUBYq5CHKdxOcaaztcJ0GLL0
Sa5jG9WwFcra
=N++t
-----END PGP SIGNATURE-----