Gentoo Packages

USE Flag: spins

Search

Manage

Information: euse -i spins
Enable: euse -E spins
Disable: euse -D spins

Local and Metadata Descriptions

Metadata Descriptions (metadata.xml)

sci-mathematics/ltsmin: Install the SpinS compiler for Promela models

Packages Using This Flag

Package	Local Description (use.local.desc)	Metadata Description (metadata.xml)
sci-mathematics/ltsmin	-	Install the SpinS compiler for Promela models