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
downloadamd64	gentoo