blob: 5c083be0b1db5d7e8508921c728ec8139d3d20df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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 288c54efeb5e2aa70775e39032695ad4 go-env 14f8f70fe58c14d7ab44fff15a05ac47 go-module 83fd3ed1657cfc316c93d6a37018290d multilib c19072c3cd7ac5cb21de013f7e9832e0 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe toolchain-funcs e56c7649b804f051623c8bc1a1c44084
_md5_=7459a5e9c9756601e19606c9190cf485
|
