portage-ng / portage / dev-lang / maude / 3.5.1
portage-ng --info
>>> Printing information for: portage://dev-lang/maude-3.5.1


----------------------------------------------------------------------------------------------------------------------------------------------------------------
description : 
   High-level specification language for equational and logic programming
homepage : 
   https://maude.cs.uiuc.edu/
maintainer : 
   sci@gentoo.org
license : 
   GPL-2
eapi : 
   9
slot : 
   0
subslot : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
iuse : 
   doc
   examples
required_use : 
   [not set]
keywords : 
   unstable(amd64)
   unstable(ppc)
   unstable(x86)
properties : 
   [not set]
eclasses : 
   gnuconfig
   toolchain-funcs
   libtool
   autotools
defined_phases : 
   configure
   install
   prepare
installed : 
   [not set]

----------------------------------------------------------------------------------------------------------------------------------------------------------------
src_uri : 
   Maude3.5.1.tar.gz
   use doc
      Maude3.5.1-manual.pdf
   use examples
      Maude-3.5.1-manual-book-examples.zip

----------------------------------------------------------------------------------------------------------------------------------------------------------------
bdepend : 
   app-arch/unzip
   app-alternatives/yacc
   app-alternatives/lex
   sys-devel/gnuconfig
   >=app-portage/elt-patches-20250306
   any 
      >=dev-build/automake-1.19:1.19
      >=dev-build/automake-1.18.1:1.18
   any 
      >=dev-build/autoconf-2.73:2.73
      >=dev-build/autoconf-2.72-r1:2.72
   >=dev-build/libtool-2.4.7-r3

depend : 
   dev-libs/gmp:= [ cxx(+) ]
   dev-libs/libtecla
   sci-libs/buddy

idepend : 
   [not set]

rdepend : 
   dev-libs/gmp:= [ cxx(+) ]
   dev-libs/libtecla
   sci-libs/buddy

pdepend : 
   [not set]