>>> Printing information for: portage://dev-lang/dafny-bin-4.11.0-r1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Verification-aware programming language
homepage : 
   https://dafny.org/ https://github.com/dafny-lang/dafny/
maintainer : 
   dotnet@gentoo.org
license : 
   MIT
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   [not set]
required_use : 
   elibc_glibc
keywords : 
   broken(*)
   stable(amd64)
properties : 
   [not set]
eclasses : 
   [not set]
defined_phases : 
   install
   prepare
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   dafny-4.11.0-x64-ubuntu-22.04.zip

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   app-arch/unzip

depend : 
   [not set]

idepend : 
   [not set]

rdepend : 
   [weak block] dev-lang/dafny
   dev-libs/userspace-rcu
   any 
      dev-util/lttng-ust-compat:0/2.12
      dev-util/lttng-ust:0/2.12
   sci-mathematics/z3

pdepend : 
   [not set]