5 ms·
The installer over there should be everything you need: https://www.adacore.com/download https://www.adacore.com/download
by Fabien_C 8y ago
The installer over there should be everything you need: https://www.adacore.com/download https://www.adacore.com/download