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