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.13:1.13 >=sys-devel/automake-1.14:1.14 ) >=sys-devel/autoconf-2.69 sys-devel/libtool DESCRIPTION=High-level specification language for equational and logic programming EAPI=5 HOMEPAGE=http://maude.cs.uiuc.edu/ IUSE=doc examples KEYWORDS=~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux 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 ebea507d219855923e3438c953cf4ab8 autotools-utils 3727db64c7b960903d5033280f108080 eutils 32548a82e42dc26e3312581476d2f20c libtool 52d0e17251d04645ffaa61bfdd858944 multilib 3bf24e6abb9b76d9f6c20600f0b716bf multiprocessing d7f2985a2c76c365ee20269db5261414 toolchain-funcs 0f1760274637a138b99bb649202ea402 versionator cd0bcdb170807e4a1984115e9d53a26f _md5_=36b2cee23149347ba059f840e4d1940f