| 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 |