gpo.zugaina.org

Search Portage & Overlays:

dev-lang/dafny-bin

Verification-aware programming language

Screenshots

Runtime Dependencies

dafny-bin-4.11.0-r1

!dev-lang/dafny
dev-libs/userspace-rcu
||
      ( dev-util/lttng-ust-compat:0/2.12 dev-util/lttng-ust:0/2.12 )

sci-mathematics/z3

dafny-bin-4.10.0-r1

!dev-lang/dafny
dev-libs/userspace-rcu
||
      ( dev-util/lttng-ust-compat:0/2.12 dev-util/lttng-ust:0/2.12 )

sci-mathematics/z3