Back to mathcomp-algebra-tactics PTS page

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



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

Format: 1.8
Date: Thu, 02 Jun 2022 13:32:21 +0200
Source: mathcomp-algebra-tactics
Architecture: source
Version: 1.0.0-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.0.0-3) unstable; urgency=medium
 .
   * Re-upload to fix ABI breakage.
Checksums-Sha1:
 357466afb61d110390dada7b924f75d92db12eae 2175 mathcomp-algebra-tactics_1.0.0-3.dsc
 b8c8b2da79ae59e655e95a4d76e087ab92377500 8540 mathcomp-algebra-tactics_1.0.0-3.debian.tar.xz
 0fbd2a28301ae408c89272dcceb7d7342e41ac34 6960 mathcomp-algebra-tactics_1.0.0-3_source.buildinfo
Checksums-Sha256:
 45129eaab08b25b8b0ae9482064517a224ba6054c037ab0587e3c2cd53f8c217 2175 mathcomp-algebra-tactics_1.0.0-3.dsc
 b3a2706dc7ec7bb4efd2cdd8f281287909a4d73dee48bfeb63561ee4baf2d66c 8540 mathcomp-algebra-tactics_1.0.0-3.debian.tar.xz
 7fbbb31f1e69ee70e38cc70d79b367f3b671a6bb2e444a20ecd034615a2d82e8 6960 mathcomp-algebra-tactics_1.0.0-3_source.buildinfo
Files:
 075c2adeac3390b36f54da6ae183ebf1 2175 ocaml optional mathcomp-algebra-tactics_1.0.0-3.dsc
 bae103d42dcabf3cc25aee5c82b6be5f 8540 ocaml optional mathcomp-algebra-tactics_1.0.0-3.debian.tar.xz
 7680bcc9d4e477a62dde60ba37ff4167 6960 ocaml optional mathcomp-algebra-tactics_1.0.0-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKYn+YSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+4cP/2r4edS0csGlu4MtzJEdxUHDnuqw6iOw
PBegFv7IQXN9baY/lRQ7nHSnnsCD+c8OFbC6UH+NBf7h+t4ppjXFwq91UnJQ0qgV
KmIGciAJNQ4JF78bFz/O5yQj0R9zkeubSJxXbVxoDCN5A1jmkKlvS2QHK8npRfsW
/adT9+sKZUm0pyiRfoXU1YC1vNvKYq66c2svNtReJuY0r4NXuUjc35e/W8gLHZKM
b3YoyA5a3eQZTwWu8oPD4MTfa0NFzcs/GJr0U6TPIBcQtwycVrtV38RbhujCHKm+
SyPTnHmw4orkMNUivFpmlPLn3dB6R/FRvaSH1eiP4a0GFoUy2H8Wl4IwXEAFVHnk
bO+BjlAU5nvHx08N649zy+QE2yklmCcOP+xhIKduc7EVBsEAF0tAr2mWH+1cIhzf
DKPHe73AtsNO8pjZPQdVmDnFZRTdcSFNDGGER+4Ctx0DZewiRVDd9KFcL9afDqfd
E7CTn8GjCJH51yawEuPdFd1OqwaciTxJ44Jj1aYtUa/rx+suDKRGcsNNG+Cuk6eq
EqXToqLS8XCmE8UYoAmFWaA6aiNMFDTsj6Hv5XjfKQd4USlFGnlx6uuhJpfl43LD
KNy3WlJqn3ZlRb6Z5fFnXQqqLeSyKvk1ilZJG2EIMoAwnxiCYK4cbhXP+v9I/MB7
aklLaLEXNnjA
=zCib
-----END PGP SIGNATURE-----