gentoo.mahdi.cz
dev-lang
:dafny
Dafny is a verification-aware programming language
dafny-4.6.0
MIT
download
~amd64
gentoo
dafny-4.5.0
MIT
download
~amd64
gentoo
dafny-4.4.0-r1
MIT
download
amd64
gentoo