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 'd97e4ec10b'
${ noResults }
gentoo-overlay/metadata/md5-cache/sci-mathematics/spin-6.2.1

14 lines
627 B
Raw Normal View History Unescape

Sync with portage [Mon May 21 22:44:40 MSK 2012].
13 years ago
DEFINED_PHASES=install prepare
Sync with portage [Mon Apr 2 12:44:06 MSK 2012].
13 years ago
DEPEND=sys-devel/bison
Sync with portage [Tue Aug 12 12:57:06 MSK 2014].
10 years ago
DESCRIPTION=Tool for formal verification of distributed software systems
Sync with portage [Mon May 21 22:44:40 MSK 2012].
13 years ago
EAPI=4
Sync with portage [Mon Apr 2 12:44:06 MSK 2012].
13 years ago
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
Sync with portage [Mon May 21 22:44:40 MSK 2012].
13 years ago
SRC_URI=http://spinroot.com/spin/Src/spin621.tar.gz
Sync with portage [Thu May 28 12:24:45 MSK 2015].
9 years ago
_eclasses_=eutils 9fb270e417e0e83d64ca52586c4a79de multilib 62927b3db3a589b0806255f3a002d5d3 toolchain-funcs 42408102d713fbad60ca21349865edb4 versionator cd0bcdb170807e4a1984115e9d53a26f
Sync with portage [Tue Aug 12 12:57:06 MSK 2014].
10 years ago
_md5_=71283e574c0dfa88f3162c577881337e