!dev-lang/dafny-bin >=virtual/jre-1.8:* sci-mathematics/z3 virtual/dotnet-sdk:8.0 >=dev-java/java-config-2.2.0-r3 >=sys-libs/glibc-2.41-r5
