calculate
/
gentoo-overlay
7
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '82ecc0ff90'
${ noResults }
gentoo-overlay/metadata/md5-cache/sci-mathematics/spin-6.2.1

14 lines
627 B
Raw Blame History

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 9fb270e417e0e83d64ca52586c4a79de multilib 3bf24e6abb9b76d9f6c20600f0b716bf toolchain-funcs 79b635d29abf0572d6a1b0dc8e63c0e4 versionator cd0bcdb170807e4a1984115e9d53a26f
_md5_=71283e574c0dfa88f3162c577881337e
Reference in new issue View Git Blame Copy Permalink