https://public-training.adacore.com/doc/labs/solar_system/index.html
GPL-3.0-or-later
1.2.0
No dependents.