diff options
Diffstat (limited to 'dev-lang/maude/metadata.xml')
-rw-r--r-- | dev-lang/maude/metadata.xml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-lang/maude/metadata.xml b/dev-lang/maude/metadata.xml new file mode 100644 index 000000000000..5884f5601dd3 --- /dev/null +++ b/dev-lang/maude/metadata.xml @@ -0,0 +1,13 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<herd>sci</herd> +<longdescription> + Maude is a high-performance reflective language and system supporting + both equational and rewriting logic specification and programming for a + wide range of applications. Maude has been influenced in important ways + by the OBJ3 language, which can be regarded as an equational logic + sublanguage. Besides supporting equational specification and + programming, Maude also supports rewriting logic computation. +</longdescription> +</pkgmetadata> |