diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2022-01-16 09:06:59 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2022-01-16 09:06:59 +0000 |
| commit | 4a6309b7975b3a64f5d0d60c4e7d148de9462537 (patch) | |
| tree | de262c3c11eb7e583e6dabe64360641fb190b1af /metadata/md5-cache/sci-mathematics/spin-6.5.2-r1 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-4a6309b7975b3a64f5d0d60c4e7d148de9462537.tar.gz gentoo-4a6309b7975b3a64f5d0d60c4e7d148de9462537.tar.bz2 gentoo-4a6309b7975b3a64f5d0d60c4e7d148de9462537.zip | |
2022-01-16 09:06:56 UTC
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..dbe8ab8dc0a9 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/spin-6.5.2-r1 @@ -0,0 +1,14 @@ +BDEPEND=virtual/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 c0d27bf73aa08ca05b663dbd31fbef28 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 multilib de4beb52bfa93c4c5d96792a6b5e1784 +_md5_=38e7809bc7c4a0ea51c2c2233c9edfc6 |