BDEPEND=app-arch/unzip app-alternatives/yacc app-alternatives/lex sys-devel/gnuconfig >=app-portage/elt-patches-20250306 || ( >=dev-build/automake-1.18.1:1.18 ) || ( >=dev-build/autoconf-2.73:2.73 >=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.4.tar.gz doc? ( https://github.com/maude-lang/maude-lang.github.io/releases/download/maude/Maude34manual.pdf ) examples? ( https://github.com/maude-lang/maude-lang.github.io/releases/download/maude/Maude-3.4-manual-book-examples.zip )
_eclasses_=autotools	0698802996fcfe9a604eac3c1f6e7112	gnuconfig	b4fa4889c6f586d6b069215a86dd9e53	libtool	6a96cd90e5da8c7c615015479f46f1a4	toolchain-funcs	740535f4f83ae6f0f22c4f045321d850
_md5_=144177def35f13921e48e0c7c17137ef