Le dimanche 30 mars 2014 à 22:08 +0100, Steven Chamberlain a écrit : > 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
It seems confirmed by: https://www.debian.org/doc/packaging-manuals/java-policy/x84.html Therefore, would that be an acceptable course of action for you if I restrict the architecture set of glpk-java to those were the default JDK is openjdk, and then downgrade the present bug to severity important? -- .''`. Sébastien Villemot : :' : Debian Developer `. `' http://www.dynare.org/sebastien `- GPG Key: 4096R/381A7594
signature.asc
Description: This is a digitally signed message part