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 __ This is the maintainer address of Debian's Java team <http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-maintainers>. Please use [email protected] for discussions and questions.

