gpo.zugaina.org

Search Portage & Overlays:

dev-lang/dafny

Dafny is a verification-aware programming language

Screenshots

Runtime Dependencies

dafny-4.9.0

!dev-lang/dafny-bin
>=virtual/jre-1.8:*
sci-mathematics/z3
virtual/dotnet-sdk:6.0
>=dev-java/java-config-2.2.0-r3

dafny-4.8.1

!dev-lang/dafny-bin
>=virtual/jre-1.8:*
sci-mathematics/z3
virtual/dotnet-sdk:6.0
>=dev-java/java-config-2.2.0-r3

dafny-4.8.0

!dev-lang/dafny-bin
>=virtual/jre-1.8:*
sci-mathematics/z3
virtual/dotnet-sdk:6.0
>=dev-java/java-config-2.2.0-r3