On 30/03/14 19:53, Steven Chamberlain wrote: > Maybe glpk-java should have a more specific build-dependency on > openjdk-7-jdk instead of default-jdk. Then it builds fine. This is apparently not allowed by Debian Java Policy, according to https://lists.debian.org/debian-bsd/2014/03/msg00129.html Regards, -- Steven Chamberlain steven@pyro.eu.org