BDEPEND=>=dev-lang/go-1.20:= app-arch/unzip DEFINED_PHASES=compile install unpack DESCRIPTION=Cryptographic protocol analysis for real-world protocols EAPI=8 HOMEPAGE=https://verifpal.com/ https://source.symbolic.software/verifpal/verifpal/ INHERIT=go-module KEYWORDS=~amd64 ~x86 LICENSE=GPL-3+ RESTRICT=strip SLOT=0 SRC_URI=https://source.symbolic.software/verifpal/verifpal/-/archive/v0.27.0/verifpal-v0.27.0.tar.bz2 https://dev.gentoo.org/~xgqt/distfiles/deps/verifpal-0.27.0-deps.tar.xz _eclasses_=flag-o-matic 357f1a896fbedcd06e5ce55419c49eb9 go-env 0e2babf96e7d0b045fc07ad199eb2399 go-module df32d29550d40a92da723d3b8e17b467 multilib b2a329026f2e404e9e371097dda47f96 multiprocessing 1e32df7deee68372153dca65f4a7c21f toolchain-funcs 6afdb6107430c1832ca7e16aacbf8fa1 _md5_=7459a5e9c9756601e19606c9190cf485