Please add it to the tree. Eclipse 3.7 seems to need it.
*** Bug 392959 has been marked as a duplicate of this bug. ***
*sat4j-core-2.3.1-r1 (25 Dec 2011) 25 Dec 2011; Miroslav Šulc <fordfrog@gentoo.org> -sat4j-core-2.3.1.ebuild, +sat4j-core-2.3.1-r1.ebuild: Version 2.3.1 has to be slotted *sat4j-pseudo-2.3.1 (25 Dec 2011) 25 Dec 2011; Miroslav Šulc <fordfrog@gentoo.org> +sat4j-pseudo-2.3.1.ebuild: Version bump in new slot