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	f14aba975c94ccaa9f357a27e3b17ffe	go-env	90efbc8636d2f02d9654183330e84cf7	go-module	df32d29550d40a92da723d3b8e17b467	multilib	b2a329026f2e404e9e371097dda47f96	multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	14648d8795f7779e11e1bc7cf08b7536
_md5_=7459a5e9c9756601e19606c9190cf485