Pump.fun sold 12.5% tokens in this public sale, which differs from the previously announced 15% tokens

According to BlockBeats, on July 12th, according to the official website of pump.fun, 12.5% of the tokens were sold in this public sale, raising $500 million, which is different from the previously announced plan to sell 15% of the tokens and raise $600 million. As of now, pump.fun has not publicly clarified the reason for the difference.