gpo.zugaina.org

Search Portage & Overlays:

dev-lang/dafny-bin

Verification-aware programming language

Screenshots

Runtime Dependencies

dafny-bin-4.6.0

!dev-lang/dafny
dev-libs/userspace-rcu
dev-util/lttng-ust:0/2.12
sci-mathematics/z3

dafny-bin-4.5.0-r1

!dev-lang/dafny
dev-libs/userspace-rcu
dev-util/lttng-ust:0/2.12
sci-mathematics/z3

dafny-bin-4.4.0-r1

!dev-lang/dafny
dev-libs/userspace-rcu
dev-util/lttng-ust:0/2.12
sci-mathematics/z3