Lu=EDs Picciochi Oliveira wrote:
> I'm sorry, upgrading sat4j did solve this.
> I had already checked if I had the latest version of sat4j and somehow
> misread some version numbers.
>=20
>=20
> Thanks for the fast input,
> Pitxyoki
>=20
>=20

Thanks for verifying!

~Niels


> On Tue, Apr 27, 2010 at 6:11 PM, Niels Thykier <ni...@thykier.net> wrot=
e:
>=20
>> Lu=EDs Picciochi Oliveira wrote:
>>> Hello,
>>> I am still seeing this issue with today's eclipse version on the test=
ing
>>> 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=3D"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
>>
>>
>=20


Attachment: signature.asc
Description: OpenPGP digital signature

Reply via email to