Hi, > Hello, > > This update looks to have broken installing Eclipse on my sid/amd64 box: > > # sudo apt-get install eclipse eclipse-jdt ... > [...] > The following packages have unmet dependencies: > eclipse-platform : Depends: sat4j (< 2.2.4) but 2.3.0-1 is to be installed > E: Broken packages > > > Do I need to file a bug against eclipse to have them update for the new > release? >
Well, the interesting point is that this bug report (#630720) was filed by one of the eclipse maintainers... I feared that this would break eclipse in some way, but did not get any response to this request. Anyhow, I'd suggest either filing a new bug with eclipse or upgrading #631382 to higher severity. There are essentially two options out of this mess: either eclipse being upgraded to 3.7 or me uploading sat4j 2.2.3 once again, as a new source package. Feel free to quote any of the above in the bug report to eclipse. Best, Michael
pgpXhs2O2qciI.pgp
Description: PGP signature
