gentoo.mahdi.cz
dev-lang
:ats2
Functional programming language with dependent types
ats2-0.4.2
GPL-3+
download
~amd64 ~x86
gentoo