Bug#662153: [eclipse-cdt] CDT not working after upgrading from 8.0.1-1 to 8.0.2-1

Tue Mar 6 23:01:17 UTC 2012

Hi Vincent,

this problem seems to be caused by recent update of sat4j package[1]. It's not just CDT specific
but affects all plugins installed in dropins folder. I'm working on an update to Eclipse package
where the fix will be included and will finish it asap.

In the meantime downgrade of sat4j to version 2.3.0-3, which is now in testing should workaround the
problem.

Regards,

Jakub

[1] http://packages.debian.org/sid/sat4j