Hi, this is a known problem, from your package information:
Depends (Version) | Installed ================================================-+-================== sat4j (>= 2.3.0) | 2.3.1-1 You should downgrade this library to 2.3.0-3 for the time being (the version is available in testing). Fix for the compatibility problem with newer sat4j will be included in the next eclipse package update. Regards, Jakub -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
