From 1e1e7636b59380beebd325e8d256875e4f824230 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 8 Jan 2024 18:59:30 +0000 Subject: gentoo auto-resync : 08:01:2024 - 18:59:30 --- metadata/md5-cache/dev-lang/maude-3.1-r1 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'metadata/md5-cache/dev-lang/maude-3.1-r1') diff --git a/metadata/md5-cache/dev-lang/maude-3.1-r1 b/metadata/md5-cache/dev-lang/maude-3.1-r1 index ad396379b953..0cff4a78317e 100644 --- a/metadata/md5-cache/dev-lang/maude-3.1-r1 +++ b/metadata/md5-cache/dev-lang/maude-3.1-r1 @@ -1,4 +1,4 @@ -BDEPEND=app-arch/unzip sys-devel/bison app-alternatives/lex sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) || ( >=sys-devel/autoconf-2.72-r1:2.72 >=sys-devel/autoconf-2.71-r6:2.71 ) >=sys-devel/libtool-2.4.7 +BDEPEND=app-arch/unzip app-alternatives/yacc app-alternatives/lex sys-devel/gnuconfig >=app-portage/elt-patches-20170815 || ( >=sys-devel/automake-1.16.5:1.16 ) || ( >=sys-devel/autoconf-2.72-r1:2.72 >=sys-devel/autoconf-2.71-r6:2.71 ) >=sys-devel/libtool-2.4.7 DEFINED_PHASES=configure install prepare DEPEND=dev-libs/gmp:=[cxx(+)] dev-libs/libtecla sci-libs/buddy DESCRIPTION=High-level specification language for equational and logic programming @@ -12,4 +12,4 @@ 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 5f729b9cb10d5eda573cd604c93c6dc5 gnuconfig b6b3e92f8b8c996400074b5f61a59256 libtool 9d3a9a889a6fa62ae794f817c156491b multilib c19072c3cd7ac5cb21de013f7e9832e0 toolchain-funcs e56c7649b804f051623c8bc1a1c44084 -_md5_=48e7f0ac70e480ec61453e611f50e99f +_md5_=b3e32f35ba17b605f2cb2adb49630f9d -- cgit v1.2.3