DEFINED_PHASES=compile configure install prepare test DEPEND=>=dev-libs/gmp-4.1.3 dev-libs/libsigsegv dev-libs/libtecla sci-libs/buddy sys-devel/bison sys-devel/flex || ( >=sys-devel/automake-1.11.1:1.11 ) >=sys-devel/autoconf-2.68 sys-devel/libtool DESCRIPTION=Maude - A high-level specification language EAPI=4 HOMEPAGE=http://maude.cs.uiuc.edu/ IUSE=doc KEYWORDS=~amd64 ~ppc ~x86 LICENSE=GPL-2 RDEPEND=>=dev-libs/gmp-4.1.3 dev-libs/libsigsegv dev-libs/libtecla sci-libs/buddy SLOT=0 SRC_URI=http://maude.cs.uiuc.edu/download/current/Maude-2.6.tar.gz http://dev.gentoo.org/~jlec/distfiles/maude-2.6-extras.tar.xz _eclasses_=autotools 9379e4c8f662d374e1ad511530869282 autotools-utils 7bd9188561818b742702e8b7b21fd8d3 eutils 39af24987a4a7a34dccf2ef9cc6af3f7 libtool 46e19fa7553f66c48ebc7cf025acd3ed multilib 5f4ad6cf85e365e8f0c6050ddd21659e toolchain-funcs f71b9936acc911ed1cc84557d3b5c2b3 user 32a09e82e2f592bf88ad2fd08525166e versionator 6601b4c5b3f019a993db59a50e1854e4 _md5_=bcfea5f3039629e5702ea0f3abd6124f