22 lines
610 B
Groff
22 lines
610 B
Groff
>=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.68 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 toolchain-funcs user versionator
|
|
doc
|
|
|
|
|
|
|
|
4
|
|
|
|
compile configure install prepare test
|
|
|
|
|
|
|
|
|
|
|