Perhaps it has to do with the runtime being GPL'd? Regardless, the Adacore FAQ specifically councels that the GPL version is suitable for free software only.[0] Admittedly, I find the licensing situation confusing and could be completely in the wrong here.