blob: d4a0c8faccd9983c36fb61014302eaf6faa0a72e [file] [log] [blame]
DEFINED_PHASES=compile install unpack
DEPEND=sci-libs/buddy dev-libs/libtecla >=dev-libs/gmp-4.1.3 sys-devel/bison sys-devel/flex
DESCRIPTION=Maude - A high-level specification language
HOMEPAGE=http://maude.cs.uiuc.edu/
IUSE=doc
KEYWORDS=~x86 ~ppc ~amd64
LICENSE=GPL-2
RDEPEND=sci-libs/buddy dev-libs/libtecla >=dev-libs/gmp-4.1.3
SLOT=0
SRC_URI=http://maude.cs.uiuc.edu/download/current/Maude-2.3.tar.gz mirror://gentoo/maude-2.3.0-extras.tar.bz2
_eclasses_=eutils c89e7605f1414fa0f33eae391db1b5d3 multilib d9b509f8ec69d5fd4789bd320d50e6d0 portability 0be430f759a631e692678ed796e09f5c toolchain-funcs 39ac4a2f99e342286758b5e753f4fb8b versionator b4e7d622ba2551eb4b5051879f5f4ad5
_md5_=4c3f9e6a1a85ba292a193fe04ba65f04