BDEPEND=app-arch/unzip app-alternatives/yacc app-alternatives/lex sys-devel/gnuconfig >=app-portage/elt-patches-20250306 || ( >=dev-build/automake-1.18:1.18 >=dev-build/automake-1.17-r1:1.17 ) || ( >=dev-build/autoconf-2.72-r1:2.72 ) >=dev-build/libtool-2.4.7-r3
DEFINED_PHASES=configure install prepare
DEPEND=dev-libs/gmp:=[cxx(+)] dev-libs/libtecla sci-libs/buddy
DESCRIPTION=High-level specification language for equational and logic programming
EAPI=9
HOMEPAGE=https://maude.cs.uiuc.edu/
INHERIT=autotools
IUSE=doc examples
KEYWORDS=~amd64 ~ppc ~x86
LICENSE=GPL-2
RDEPEND=dev-libs/gmp:=[cxx(+)] dev-libs/libtecla sci-libs/buddy
SLOT=0
SRC_URI=https://github.com/maude-lang/Maude/archive/refs/tags/Maude3.3.1.tar.gz doc? ( https://github.com/maude-lang/maude-lang.github.io/releases/download/maude/Maude-3.3.1-manual.pdf ) examples? ( https://github.com/maude-lang/maude-lang.github.io/releases/download/maude/Maude-3.1-manual-book-examples.zip )
_eclasses_=autotools	3a740b2e55e60a60e8c0c411f3996dfa	gnuconfig	b4fa4889c6f586d6b069215a86dd9e53	libtool	6a96cd90e5da8c7c615015479f46f1a4	toolchain-funcs	8a2c298bde71ecf3f452dd9e67c94369
_md5_=2d6eb6a3a3f14ead073da0020658757e