summaryrefslogtreecommitdiff
path: root/metadata/md5-cache/sci-mathematics/spin-6.5.2-r1
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-01-16 20:27:28 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-01-16 20:27:28 +0000
commit2fd57282f0262ca084e05b0f2c63fbada395d02b (patch)
tree4e0f23cea9ce9fd972e70ebc5214bf36fed465cc /metadata/md5-cache/sci-mathematics/spin-6.5.2-r1
parentc3bc61051d7f12b4c682efa7a5460bbc8815649e (diff)
gentoo resync : 16.01.2021
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-r113
1 files changed, 13 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..392cef724e99
--- /dev/null
+++ b/metadata/md5-cache/sci-mathematics/spin-6.5.2-r1
@@ -0,0 +1,13 @@
+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
+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 multilib de4beb52bfa93c4c5d96792a6b5e1784 toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8
+_md5_=38e7809bc7c4a0ea51c2c2233c9edfc6