Luís Picciochi Oliveira wrote:
> Hello,
> I am still seeing this issue with today's eclipse version on the testing
> repositories. I can install the plugins but they are not recognised.
> 
> I am also getting this message when starting eclipse:
> $ eclipse
> org.osgi.framework.BundleException: The bundle could not be resolved.
> Reason: Missing Constraint: Import-Package:
> org.eclipse.equinox.internal.provisional.p2.director; version="0.0.0"
> 
> 
> This is what I have:
> ii  eclipse                              3.5.2-2
> Extensible Tool Platform and Java IDE
> ii  eclipse-jdt                          3.5.2-2+b1                 Eclipse
> Java Development Tools (JDT)
> ii  eclipse-pde                          3.5.2-2+b1                 Eclipse
> Plug-in Development Environment (PDE
> ii  eclipse-platform                     3.5.2-2+b1                 Eclipse
> platform without plug-ins to develop
> ii  eclipse-platform-data                3.5.2-2                    Eclipse
> platform without plug-ins to develop
> ii  eclipse-plugin-cvs                   3.5.2-2+b1                 Eclipse
> Team Integration (CVS support)
> ii  eclipse-rcp                          3.5.2-2+b1                 Eclipse
> Rich Client Platform (RCP)
> 
> ii  sat4j                                2.1.1-2
> Efficient library of SAT solvers in Java
>

Hi

Could you try with sat4j 2.1.1-3; it should be in testing by now.

~Niels

Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to