diff options
| author |   Diego Elio Pettenò <flameeyes@gentoo.org> | 2012-08-10 00:31:56 +0000 |
|---|---|---|
| committer | Diego Elio Pettenò <flameeyes@gentoo.org> | 2012-08-10 00:31:56 +0000 |
| commit | 40979756f352780085411d0678733d42346ddbb8 (patch) | |
| tree | 2885cc836faf4ce72c4d55bd97844ae820985317 /sci-mathematics/spass | |
| parent | Fixed for qt4 flag, thanks Egor Y. Egorov, bug #430560 (diff) | |
| download | gentoo-2-40979756f352780085411d0678733d42346ddbb8.tar.gz gentoo-2-40979756f352780085411d0678733d42346ddbb8.tar.bz2 gentoo-2-40979756f352780085411d0678733d42346ddbb8.zip | |
Fix metadata.
(Portage version: 2.2.0_alpha120/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/spass')
| -rw-r--r-- | sci-mathematics/spass/ChangeLog | 6 | ||||
| -rw-r--r-- | sci-mathematics/spass/metadata.xml | 2 |
2 files changed, 5 insertions, 3 deletions
diff --git a/sci-mathematics/spass/ChangeLog b/sci-mathematics/spass/ChangeLog index 1a1431a80982..25ab86f80a91 100644 --- a/sci-mathematics/spass/ChangeLog +++ b/sci-mathematics/spass/ChangeLog @@ -1,10 +1,12 @@ # ChangeLog for sci-mathematics/spass # Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.1 2012/05/30 00:53:38 gienah Exp $ +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/spass/ChangeLog,v 1.2 2012/08/10 00:31:56 flameeyes Exp $ + + 10 Aug 2012; Diego E. Pettenò <flameeyes@gentoo.org> metadata.xml: + Fix metadata. *spass-3.7 (30 May 2012) 30 May 2012; Mark Wright <gienah@gentoo.org> +metadata.xml, +spass-3.7.ebuild: Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer integration. - diff --git a/sci-mathematics/spass/metadata.xml b/sci-mathematics/spass/metadata.xml index c4c803fffe24..55174776cec2 100644 --- a/sci-mathematics/spass/metadata.xml +++ b/sci-mathematics/spass/metadata.xml @@ -2,7 +2,7 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <maintainer> - <email>gienah@gentoo.org></email> + <email>gienah@gentoo.org</email> </maintainer> <herd>sci-mathematics</herd> <longdescription lang='en'> |