gentoo-overlay/metadata/cache/dev-lang/maude-2.6

>=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.11* ) >=sys-devel/autoconf-2.61 sys-devel/libtool
>=dev-libs/gmp-4.1.3 dev-libs/libsigsegv dev-libs/libtecla sci-libs/buddy
0
http://maude.cs.uiuc.edu/download/current/Maude-2.6.tar.gz http://dev.gentoo.org/~jlec/distfiles/maude-2.6-extras.tar.xz

http://maude.cs.uiuc.edu/
GPL-2
Maude - A high-level specification language
~amd64 ~ppc ~x86
autotools autotools-utils eutils libtool multilib portability toolchain-funcs user versionator
doc



4

compile configure install prepare test