diff options
| author |   Patrick Kursawe <phosphan@gentoo.org> | 2004-05-27 10:10:56 +0000 |
|---|---|---|
| committer | Patrick Kursawe <phosphan@gentoo.org> | 2004-05-27 10:10:56 +0000 |
| commit | 6a45f8054252f92c3d6e0cf235dedd10563365f9 (patch) | |
| tree | 15636dc2f161b3921640a0ce92888ffebc1c0dae /dev-lang/maude/metadata.xml | |
| parent | Initial import, see bug #39393 (Manifest recommit) (diff) | |
| download | gentoo-2-6a45f8054252f92c3d6e0cf235dedd10563365f9.tar.gz gentoo-2-6a45f8054252f92c3d6e0cf235dedd10563365f9.tar.bz2 gentoo-2-6a45f8054252f92c3d6e0cf235dedd10563365f9.zip | |
Initial import, see bug #39399
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..875b27ae67eb --- /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> |