Hi Oh sorry I was confused. Indeed there was a tool that was trying to be "helpful" and failed to decompress it.
Sorry for the inconvenience _______________________________________________ gmp-bugs mailing list [email protected] https://gmplib.org/mailman/listinfo/gmp-bugs
