summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2017-11-25 23:17:57 +0100
committerDavid Seifert <soap@gentoo.org>2017-11-26 12:24:59 +0100
commit194ec40541654772189048405e93707a67dceba2 (patch)
treeab6b1b1b49eea5a3c45adf2d709813688c514ee7
parentdev-lang/lazarus: [QA] Consistent whitespace in metadata.xml (diff)
downloadgentoo-194ec40541654772189048405e93707a67dceba2.tar.gz
gentoo-194ec40541654772189048405e93707a67dceba2.tar.bz2
gentoo-194ec40541654772189048405e93707a67dceba2.zip
dev-lang/maude: [QA] Consistent whitespace in metadata.xml
-rw-r--r--dev-lang/maude/metadata.xml24
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>