diff options
| author |   Sebastien Fabbro <bicatali@gentoo.org> | 2013-11-06 18:01:37 +0000 |
|---|---|---|
| committer | Sebastien Fabbro <bicatali@gentoo.org> | 2013-11-06 18:01:37 +0000 |
| commit | 0a0793f2388eb29b689bb2b007ca580644b8e5b2 (patch) | |
| tree | 0c687b85292a1214124ae3f3a6fc7feaf014d60b /dev-lang/maude/metadata.xml | |
| parent | restoring the only stable version for ia64 to allow releng autobuilds to work (diff) | |
| download | gentoo-2-0a0793f2388eb29b689bb2b007ca580644b8e5b2.tar.gz gentoo-2-0a0793f2388eb29b689bb2b007ca580644b8e5b2.tar.bz2 gentoo-2-0a0793f2388eb29b689bb2b007ca580644b8e5b2.zip | |
Fixed with newer gcc (bug #454072), build in source fixing bug #488450, switch to EAPI5, separate doc and examples flags, include patch from Debian to look for datadir at compile time removing the need to define MAUDE_LIB system-wide, removed older ebuilds which do not build anymore
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
Diffstat (limited to 'dev-lang/maude/metadata.xml')
| -rw-r--r-- | dev-lang/maude/metadata.xml | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/dev-lang/maude/metadata.xml b/dev-lang/maude/metadata.xml index 875b27ae67eb..5884f5601dd3 100644 --- a/dev-lang/maude/metadata.xml +++ b/dev-lang/maude/metadata.xml @@ -1,13 +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> +<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> |