diff options
| author |   Pacho Ramos <pacho@gentoo.org> | 2012-10-07 09:12:35 +0000 |
|---|---|---|
| committer | Pacho Ramos <pacho@gentoo.org> | 2012-10-07 09:12:35 +0000 |
| commit | b2654d90dcda84dbe2f8efc930e420f5e854b168 (patch) | |
| tree | f3418bff0311930480feef9827a83f6651a60405 /sci-mathematics | |
| parent | Drop maintainer due retirement, #24135. (diff) | |
| download | gentoo-2-b2654d90dcda84dbe2f8efc930e420f5e854b168.tar.gz gentoo-2-b2654d90dcda84dbe2f8efc930e420f5e854b168.tar.bz2 gentoo-2-b2654d90dcda84dbe2f8efc930e420f5e854b168.zip | |
Drop maintainer due retirement, #24135.
(Portage version: 2.1.11.24/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/minisat/ChangeLog | 8 | ||||
| -rw-r--r-- | sci-mathematics/minisat/metadata.xml | 3 |
2 files changed, 5 insertions, 6 deletions
diff --git a/sci-mathematics/minisat/ChangeLog b/sci-mathematics/minisat/ChangeLog index 4c886a799522..084bb75bc5f9 100644 --- a/sci-mathematics/minisat/ChangeLog +++ b/sci-mathematics/minisat/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/minisat -# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/ChangeLog,v 1.6 2011/04/17 22:54:19 nerdboy Exp $ +# Copyright 1999-2012 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/minisat/ChangeLog,v 1.7 2012/10/07 09:12:35 pacho Exp $ + + 07 Oct 2012; Pacho Ramos <pacho@gentoo.org> metadata.xml: + Drop maintainer due retirement, #24135. *minisat-2.1.0 (17 Apr 2011) @@ -41,4 +44,3 @@ +metadata.xml: New ebuild for minisat, a small fast SAT solver (a tool for solving the Boolean Satisfiability Problem used in model checking). - diff --git a/sci-mathematics/minisat/metadata.xml b/sci-mathematics/minisat/metadata.xml index 6fe6fbcc1c3c..92faa4ea37c6 100644 --- a/sci-mathematics/minisat/metadata.xml +++ b/sci-mathematics/minisat/metadata.xml @@ -2,9 +2,6 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> <herd>sci</herd> -<maintainer> -<email>nerdboy@gentoo.org</email> -</maintainer> <use> <flag name="extended-solver">Build extended version of SAT solver with additional features.</flag> |