gentoo.mahdi.cz

  

dev-lang:dafny-bin

Verification-aware programming language
dafny-bin-4.6.0	MIT
download-* ~amd64	gentoo
dafny-bin-4.5.0-r1	MIT
download-* ~amd64	gentoo
dafny-bin-4.4.0-r1	MIT
download-* amd64	gentoo