Bug#893849: default-jre: Recommends default-java-plugin, which is no longer built

2018-03-23 Thread Vincent Lefevre
Package: default-jre Version: 2:1.9-62 Severity: important default-jre 2:1.9-62 still has: Recommends: default-java-plugin but default-java-plugin is no longer built. Because of that, aptitude refuses to upgrade default-jre without a manual intervention: The following packages depend on

Bug#666256: libservlet2.5-java: trying to overwrite .../servlet-api-debian.pom in libservlet2.4-java

2012-03-29 Thread Vincent Lefevre
Package: libservlet2.5-java Version: 6.0.35-2 Severity: grave Justification: renders package unusable libservlet2.5-java can't be upgraded from 6.0.35-1+squeeze2 to 6.0.35-2 if libservlet2.4-java 5.5.33-1 is installed: Preparing to replace libservlet2.5-java 6.0.35-1+squeeze2 (using

Bug#350729: cacao: Incorrect result due to computations in extended precision on x86 (regression)

2006-01-31 Thread Vincent Lefevre
Package: cacao Version: 0.94-1 Severity: normal With the following program: public class test { public static void main(String[] args) throws Exception { test t = new test(); t.doTest(); } volatile double x, y, z, d; public void doTest() { x =