gentoo.mahdi.cz
dev-lang
:spark
Software development for high-reliability applications
http://libre.adacore.com
spark-2021
GPL-3
download
~amd64
gentoo