diff options
Diffstat (limited to 'metadata/md5-cache/dev-lang/maude-3.1-r1')
-rw-r--r-- | metadata/md5-cache/dev-lang/maude-3.1-r1 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-lang/maude-3.1-r1 b/metadata/md5-cache/dev-lang/maude-3.1-r1 index d0863ad5517c..77c067d8bb6b 100644 --- a/metadata/md5-cache/dev-lang/maude-3.1-r1 +++ b/metadata/md5-cache/dev-lang/maude-3.1-r1 @@ -4,11 +4,12 @@ DEPEND=dev-libs/gmp:=[cxx(+)] dev-libs/libtecla sci-libs/buddy DESCRIPTION=High-level specification language for equational and logic programming EAPI=8 HOMEPAGE=https://maude.cs.uiuc.edu/ +INHERIT=autotools IUSE=doc examples KEYWORDS=~amd64 ~ppc ~x86 ~amd64-linux ~x86-linux LICENSE=GPL-2 RDEPEND=dev-libs/gmp:=[cxx(+)] dev-libs/libtecla sci-libs/buddy SLOT=0 SRC_URI=https://maude.cs.illinois.edu/w/images/d/d3/Maude-3.1.tar.gz https://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-3.1.zip doc? ( https://maude.cs.illinois.edu/w/images/6/62/Maude-3.1-manual.pdf ) examples? ( https://maude.cs.illinois.edu/w/images/4/4f/Maude-3.1-manual-book-examples.zip ) -_eclasses_=autotools b46e8992a8126c894fbdc8084fc040c4 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 4a33c9008e5ee30cb8840a3fdc24df2b toolchain-funcs badd6e329e1f3e6bee99b35bf8763ce8 +_eclasses_=autotools 136117fb43a9bf5598530e9cc642f710 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 241a8f577b9781a42a7421e53448a44e multilib 4fbbbc98f236f1b43acd99476bc3cd85 toolchain-funcs e9da88162e7a3c60376e80c2c2adcdfb _md5_=874ffd1cd466df04152e98b9d2ee7f12 |