BDEPEND=>=dev-lang/go-1.24.11:= 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+
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_=toolchain-funcs	58a918e3a42d0156f010dcfd43725be5	flag-o-matic	fd3558f73f6503093adee69adf41020d	multiprocessing	45d0620f25c2f063ad6276ecd9ed9399	sysroot	4c36abaf94ebd3ab32f8abea9a444121	go-env	fca4e820393c2eac25a944be8bdf6a3a	go-module	22cfabf3120ed3f7bcd8b4a7697fbfba
_md5_=7459a5e9c9756601e19606c9190cf485