Bug#632999: eclipse-platform: sat4j dependency unsatisfiable in sid

[Tristan Seligmann]

Package: eclipse-platform
Version: 3.5.2-10
Severity: normal

I'm guessing this is already a known issue, but I couldn't find another
bug tracking this, so I'm filing this one.

eclipse-platform in sid has a dependency on:

sat4j (>= 2.2.3), sat4j (<< 2.2.4)

However, the version of sat4j in sid is now 2.3.0-1, so this dependency
cannot be satisfied.

-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 2.6.39-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages eclipse-platform depends on:
ii  ant                         1.8.2-2      Java based build tool like make
ii  ant-optional                1.8.2-2      Java based build tool like make - 
ii  default-jre [java6-runtime] 1:1.6-40     Standard Java or Java compatible R
ii  eclipse-platform-data       3.5.2-10     Eclipse platform without plug-ins 
ii  eclipse-rcp                 3.5.2-10     Eclipse Rich Client Platform (RCP)
ii  gcj-4.4-jre [java5-runtime] 4.4.6-6      Java runtime environment using GIJ
ii  gcj-4.6-jre [java5-runtime] 4.6.1-1      Java runtime environment using GIJ
ii  gcj-jre [java5-runtime]     4:4.6.0-6    Java runtime environment using GIJ
ii  java-common                 0.40         Base of all Java packages
ii  libc6                       2.13-10      Embedded GNU C Library: Shared lib
ii  libcommons-codec-java       1.5-1        encoder and decoders such as Base6
ii  libcommons-el-java          1.0-6        Implementation of the JSP2.0 Expre
ii  libcommons-httpclient-java  3.1-9        A Java(TM) library for creating HT
ii  libcommons-logging-java     1.1.1-8      commmon wrapper interface for seve
ii  libjasper-java              5.5.26-5     Implementation of the JSP Containe
ii  libjetty-java               6.1.24-6     Java servlet engine and webserver 
ii  libjsch-java                0.1.42-2     pure Java implementation of the SS
ii  liblucene2-java             2.9.4+ds1-1  Full-text search engine library fo
ii  libservlet2.5-java          6.0.32-4     Servlet 2.5 and JSP 2.1 Java API c
ii  openjdk-6-jre [java6-runtim 6b18-1.8.7-5 OpenJDK Java runtime, using Hotspo
ii  perl                        5.12.4-1     Larry Wall's Practical Extraction 
ii  sat4j                       2.2.3-1      Efficient library of SAT solvers i

Versions of packages eclipse-platform recommends:
ii  eclipse-pde                   3.5.2-10   Eclipse Plug-in Development Enviro

Versions of packages eclipse-platform suggests:
ii  eclipse-jdt                   3.5.2-10   Eclipse Java Development Tools (JD

Versions of packages eclipse-platform is related to:
ii  eclipse-jdt                   3.5.2-10   Eclipse Java Development Tools (JD
ii  eclipse-pde                   3.5.2-10   Eclipse Plug-in Development Enviro

-- no debconf information