diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-12-03 02:58:11 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-03 02:58:11 +0000 |
commit | fbe7acf59ebf6dc3f04a6ef108ff3887fa5d7972 (patch) | |
tree | 3669828a2d0c5f7cb1a4bfd79be8032aac558282 /metadata/md5-cache/sci-mathematics/spin-6.5.2-r1 | |
parent | 9bc9c4dcc38dc560cff8e5d083d1e5f282ddde98 (diff) |
gentoo auto-resync : 03:12:2022 - 02:58:11
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 | 4 |
1 files changed, 2 insertions, 2 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 index 1221f27fde60..b1a7b7f1eee6 100644 --- a/metadata/md5-cache/sci-mathematics/spin-6.5.2-r1 +++ b/metadata/md5-cache/sci-mathematics/spin-6.5.2-r1 @@ -1,4 +1,4 @@ -BDEPEND=virtual/yacc +BDEPEND=app-alternatives/yacc DEFINED_PHASES=compile install DESCRIPTION=An efficient logic-model checker for the verification of multi-threaded code EAPI=8 @@ -11,4 +11,4 @@ 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 7eb20ad915a0a318176d51bc2508ff5c multilib 5ca4e49abed8e3a2f7b56920eadee157 toolchain-funcs 441f754fd75cd4fd1fa06fbc17da6144 -_md5_=38e7809bc7c4a0ea51c2c2233c9edfc6 +_md5_=c735c7daceb38d088254268f499d4d65 |