Bug#890345: Depending on "default-jre-headless" Should be Sufficient

Am 13.02.2018 um 19:26 schrieb 殷啟聰 | Kai-Chung Yan: > Package: jflex > Version: 1.6.1-2 > Severity: wishlist > > "jflex" seems to me a commandline program, thus depending on > "default-jre-headless" should be sufficient. Right now it depends on > "default-jre" and "pbuilder" always fetches the

Bug#890345: Depending on "default-jre-headless" Should be Sufficient

Package: jflex Version: 1.6.1-2 Severity: wishlist "jflex" seems to me a commandline program, thus depending on "default-jre-headless" should be sufficient. Right now it depends on "default-jre" and "pbuilder" always fetches the whole graphical stack while building "libsmali-java". signature