Package: sat4j Version: 2.1.1-2 sat4j depends specifically on the default-jre-headless, and build-depends specifically on default-jdk. It should really use virtual packages, since people should be able to use whichever jdk/jre they want.
I propose depending on java6-runtime-headless, a virtual package provided by default-jre-headless, openjdk-6-jre-headless, and sun-java6-jre, and build-depending on java6-sdk, a virtual package provided by default-jdk, openjdk-6-jdk, and sun-java6-jdk. This bug was originally reported in Ubuntu, see launchpad at https://bugs.launchpad.net/ubuntu/+source/sat4j/+bug/511303 where there is also a proposed patch, which may have issues. Ubuntu release team member Benjamin Drung believes that a package should not build-depend on a virtual package, but wants to see what the Debian maintainer thinks. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
