Package: eclipse-platform Version: 3.5.2-10 Severity: normal Eclipse will not install with sat4j version 2.3.0-1 (sid).
Workaround: remove current sat4j download and install sat4j version 2.2.3-1 (wheezy) http://packages.debian.org/wheezy/sat4j install eclipse-platform -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (x86_64) Kernel: Linux 2.6.39-2-amd64 (SMP w/2 CPU cores) Locale: LANG=en_AU.utf8, LC_CTYPE=en_AU.utf8 (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-2 Java runtime environment using GIJ ii gcj-jre [java5-runtime] 4:4.6.1-2 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-2 Full-text search engine library fo ii libservlet2.5-java 6.0.32-5 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 ii sun-java6-jre [java6-runtim 6.26-1 Sun Java(TM) Runtime Environment ( 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 debian-j...@lists.debian.org for discussions and questions.