dino99, the developers only upload source packages and a build server generates the binares for all platforms which get distributed to all download mirrors. Perhaps at the time when you updated not all binary packages made it to your mirror. Please do another update now. The missing packages should have arrived already.
dino99, the developers only upload source packages and a build server generates the binares for all platforms which get distributed to all download mirrors. Perhaps at the time when you updated not all binary packages made it to your mirror. Please do another update now. The missing packages should have arrived already.