diff options
| author |   David Seifert <soap@gentoo.org> | 2017-11-25 23:17:57 +0100 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2017-11-26 12:24:59 +0100 |
| commit | 194ec40541654772189048405e93707a67dceba2 (patch) | |
| tree | ab6b1b1b49eea5a3c45adf2d709813688c514ee7 /dev-lang/maude | |
| parent | dev-lang/lazarus: [QA] Consistent whitespace in metadata.xml (diff) | |
| download | gentoo-194ec40541654772189048405e93707a67dceba2.tar.gz gentoo-194ec40541654772189048405e93707a67dceba2.tar.bz2 gentoo-194ec40541654772189048405e93707a67dceba2.zip | |
dev-lang/maude: [QA] Consistent whitespace in metadata.xml
Diffstat (limited to 'dev-lang/maude')
| -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> |