-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 22 May 2022 19:27:10 +0200 Source: mathcomp-algebra-tactics Architecture: source Version: 1.0.0-2 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-2) unstable; urgency=medium . * Re-upload to fix ABI breakage. Checksums-Sha1: f21cde794f1ab45d33c44e229a10f545c5da6a2c 2175 mathcomp-algebra-tactics_1.0.0-2.dsc 8837f57a2ae159f3724104a094ef2cbfb670dde5 8524 mathcomp-algebra-tactics_1.0.0-2.debian.tar.xz a801ed72baea0cadefb7b64cc46b5683c1c8b583 6962 mathcomp-algebra-tactics_1.0.0-2_source.buildinfo Checksums-Sha256: 95454290322a401929153f1fec9e36002cc196a591cf05f24c105b55de46cad8 2175 mathcomp-algebra-tactics_1.0.0-2.dsc 6cd634f2554bffc9128b9e7f1755ae35b76a7d277b1f585f67b94149322a98f0 8524 mathcomp-algebra-tactics_1.0.0-2.debian.tar.xz c15b76b41efe470f5666a16fde0c360d78b3db0d4b6d6e8443ef8e12621d9f55 6962 mathcomp-algebra-tactics_1.0.0-2_source.buildinfo Files: 0f2b3673d03fbcc1517e0822b20c79f4 2175 ocaml optional mathcomp-algebra-tactics_1.0.0-2.dsc 86d3baf88274f0367e522fe72e843c7f 8524 ocaml optional mathcomp-algebra-tactics_1.0.0-2.debian.tar.xz a2fdfbcbf3a30e6ba99e2292a9666f52 6962 ocaml optional mathcomp-algebra-tactics_1.0.0-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcn4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRMvgP/1xjPIAaRVE1JiOLNUIFpQRglbQ4DHnU evLedfmQlQGF5yiPGVM5avGE/psZEwb4w0xzpE0N6LzXmzEaqWXCKCM895mVrnW6 2LGHiq+3xtoJe71QsYHUQ8N3G3VmHxBF8WuTIm1JbzPdXftXqoeXFfzJLOGOkJXJ IHNeaTmDwEuL15u3+XbBiG2XBO/lEiIjEf8bcpr2LY3BrZqnIpIO0Zyu6QKIQ5IG SZ9ejF3l0Tzn0cs8mi/azk+AE/U/zFnToB5QXpoq/urn6ErWAX0C1+hXQzzjHEyO n0pBFnESVFnuM9kE3vCMZDcrgdRpxL5na34C7owZbFjwN5L3YgbL4S0Q1mAlgkeC mFyjTaFvS7pUwB/cG/3fTddYkLV1zX5l5MnqzvqGY18QTWzICdaH4ZdtuCHZJO/v DtMXc91egTnYrsgY3V81RE/ej3TUA6UGWcpLywfwLDXH/jAgD5pu2PebLcHI4E1j x9T+ltEJ/WrtCAOE1eBgQfw6H3HeRiqdrycsBDCt5p93odFchDzKeOx9UIYfZQBM vCUU45E0EVbxnTrhzkHxNb1z9kkpz/p2rbT1q21mw1tyJ4PDohTaDlc/7L/cIWE+ IG7iUo52aZlmPyPyDwhgpunNVKI9uINQ3lruZJcjHS4Gb3pVg0+8IoBJD+NoqMSN 9wPtsfiDB2nN =+5ED -----END PGP SIGNATURE-----
