gpo.zugaina.org

Search Portage & Overlays:

dev-lang/dafny-bin

Verification-aware programming language

Screenshots

Runtime Dependencies

dafny-bin-4.11.0-r2

!dev-lang/dafny
||
      ( dev-libs/openssl-compat:3 dev-libs/openssl:0/3 )

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

sci-mathematics/z3