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

13 lines
1.1 KiB
Text

DEFINED_PHASES=compile configure install prepare test
DEPEND=>=dev-libs/gmp-4.1.3 dev-libs/libsigsegv dev-libs/libtecla sci-libs/buddy sys-devel/bison sys-devel/flex !<sys-devel/gettext-0.18.1.1-r3 || ( >=sys-devel/automake-1.13:1.13 >=sys-devel/automake-1.15:1.15 ) >=sys-devel/autoconf-2.69 >=sys-devel/libtool-2.4
DESCRIPTION=High-level specification language for equational and logic programming
EAPI=5
HOMEPAGE=http://maude.cs.uiuc.edu/
IUSE=doc examples
KEYWORDS=~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux
LICENSE=GPL-2
RDEPEND=>=dev-libs/gmp-4.1.3 dev-libs/libsigsegv dev-libs/libtecla sci-libs/buddy
SLOT=0
SRC_URI=http://maude.cs.uiuc.edu/download/current/Maude-2.6.tar.gz http://dev.gentoo.org/~jlec/distfiles/maude-2.6-extras.tar.xz
_eclasses_=autotools ae13678d52af6816cb92f952594d882a autotools-utils 3727db64c7b960903d5033280f108080 eutils f99a767f569b1f0731b3a1edd17c1d11 libtool 52d0e17251d04645ffaa61bfdd858944 multilib 3bf24e6abb9b76d9f6c20600f0b716bf toolchain-funcs 0dfbfa13f57c6184f4728d12ac002aac versionator cd0bcdb170807e4a1984115e9d53a26f
_md5_=36b2cee23149347ba059f840e4d1940f