>>> Printing information for: portage://sci-mathematics/verifpal-0.27.0


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   Cryptographic protocol analysis for real-world protocols
homepage : 
   https://verifpal.com/ https://source.symbolic.software/verifpal/verifpal/
maintainer : 
   sci-mathematics@gentoo.org
license : 
   GPL-3+
eapi : 
   8
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   [not set]
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   toolchain-funcs
   flag-o-matic
   multiprocessing
   sysroot
   go-env
   go-module
defined_phases : 
   compile
   install
   unpack
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   verifpal-v0.27.0.tar.bz2
   verifpal-0.27.0-deps.tar.xz

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   >=dev-lang/go-1.24.11:=
   app-arch/unzip

depend : 
   [not set]

idepend : 
   [not set]

rdepend : 
   [not set]

pdepend : 
   [not set]