22 lines
423 B
Text
22 lines
423 B
Text
sci-libs/buddy dev-libs/libtecla >=dev-libs/gmp-4.1.3 sys-devel/bison sys-devel/flex
|
|
sci-libs/buddy dev-libs/libtecla >=dev-libs/gmp-4.1.3
|
|
0
|
|
http://maude.cs.uiuc.edu/download/current/Maude-2.3.tar.gz mirror://gentoo/maude-2.3.0-extras.tar.bz2
|
|
|
|
http://maude.cs.uiuc.edu/
|
|
GPL-2
|
|
Maude - A high-level specification language
|
|
~amd64 ~ppc ~x86
|
|
eutils multilib toolchain-funcs user versionator
|
|
doc
|
|
|
|
|
|
|
|
|
|
|
|
compile install unpack
|
|
|
|
|
|
|
|
|
|
|