dev-lang/

maude

High-level specification language for equational and logic programming

3.1-r1

Version	RDEPEND	DEPEND	BDEPEND	PDEPEND
app-portage/elt-patches
dev-libs/gmp

The dependencies are regularly computed based on the qa-reports.