diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/spin-6.5.2-r1')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/spin-6.5.2-r1 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/spin-6.5.2-r1 b/metadata/md5-cache/sci-mathematics/spin-6.5.2-r1 new file mode 100644 index 000000000000..afe738736271 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/spin-6.5.2-r1 @@ -0,0 +1,14 @@ +BDEPEND=app-alternatives/yacc +DEFINED_PHASES=compile install +DESCRIPTION=An efficient logic-model checker for the verification of multi-threaded code +EAPI=8 +HOMEPAGE=https://spinroot.com/ https://github.com/nimble-code/Spin +INHERIT=desktop toolchain-funcs +IUSE=doc examples graphviz tk +KEYWORDS=~amd64 ~riscv ~x86 +LICENSE=BSD +RDEPEND=sys-devel/gcc tk? ( dev-lang/tk graphviz? ( media-gfx/graphviz ) ) +SLOT=0 +SRC_URI=https://github.com/nimble-code/Spin/archive/refs/tags/version-6.5.2.tar.gz -> spin-6.5.2.tar.gz +_eclasses_=desktop 021728fdc1b03b36357dbc89489e0f0d toolchain-funcs 0c8a0b0d318eb5d5180d114bd3f6592b multilib c19072c3cd7ac5cb21de013f7e9832e0 +_md5_=c735c7daceb38d088254268f499d4d65 |