| DEFINED_PHASES=install prepare |
| DEPEND=sys-devel/bison |
| DESCRIPTION=Tool for formal verification of distributed software systems |
| EAPI=4 |
| HOMEPAGE=http://spinroot.com/ |
| IUSE=graphviz tk |
| KEYWORDS=~amd64 ~x86 |
| LICENSE=|| ( spin-commercial spin-educational ) |
| RDEPEND=sys-devel/gcc sys-process/time tk? ( dev-lang/tk graphviz? ( media-gfx/graphviz ) ) |
| SLOT=0 |
| SRC_URI=http://spinroot.com/spin/Src/spin621.tar.gz |
| _eclasses_=eutils b83a2420b796f7c6eff682679d08fe25 multilib 165fc17c38d1b11dac2008280dab6e80 toolchain-funcs 6198c04daba0e1307bd844df7d37f423 versionator 99ae9d758cbe7cfed19170e7d48f5a9c |
| _md5_=5bb36fd452eb2d05a5a4a779440e26d6 |