diff options
Diffstat (limited to 'dev-lang/maude/metadata.xml')
-rw-r--r-- | dev-lang/maude/metadata.xml | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/dev-lang/maude/metadata.xml b/dev-lang/maude/metadata.xml index 87cb557f086f..2a557bd7618e 100644 --- a/dev-lang/maude/metadata.xml +++ b/dev-lang/maude/metadata.xml @@ -1,16 +1,16 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> -<maintainer type="project"> - <email>sci@gentoo.org</email> - <name>Gentoo Science Project</name> -</maintainer> -<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> + <maintainer type="project"> + <email>sci@gentoo.org</email> + <name>Gentoo Science Project</name> + </maintainer> + <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> |