DEFINED_PHASES=configure install prepare
DESCRIPTION=Fast LTL to Buechi Automata Translation
EAPI=7
HOMEPAGE=http://www.lsv.ens-cachan.fr/~gastin/ltl2ba
KEYWORDS=~amd64 ~x86
LICENSE=GPL-2
SLOT=0
SRC_URI=http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/ltl2ba-1.1.tar.gz
_eclasses_=flag-o-matic	d309b9713dfc18e754cba88d3ba69653	multilib	c19072c3cd7ac5cb21de013f7e9832e0	toolchain-funcs	e56c7649b804f051623c8bc1a1c44084
_md5_=2e56c7e4922496855b87440e200800ee