Bug#641880: Please create default-jdk-source

2022-11-25 Thread Andrea Pappacoda
On Tue, 30 Oct 2018 13:21:32 +0100 Emmanuel Bourg wrote: > Patches or pull requests on Salsa are welcome :) Hi Emmanuel, I've submitted a merge request on Salsa:

Bug#641880: Please create default-jdk-source

2018-10-30 Thread Emmanuel Bourg
Le 30/10/2018 à 13:10, Thorsten Glaser a écrit : > As the GCJ stuff is now gone, nothing should block this any more. > Can this please be added now (if for nothing else then for consistency)? Patches or pull requests on Salsa are welcome :)

Bug#641880: Please create default-jdk-source

2018-10-30 Thread Thorsten Glaser
Package: default-jdk-doc Version: 2:1.11-70 Followup-For: Bug #641880 As the GCJ stuff is now gone, nothing should block this any more. Can this please be added now (if for nothing else then for consistency)? -- System Information: Debian Release: buster/sid APT prefers unreleased APT

Bug#641880: Please create default-jdk-source

2011-09-16 Thread Fernando C. Estrada
Package: default-jdk Version: 1:1.6-43 Severity: wishlist Dear Java Team, Please consider to create the default-jdk-source package with dependency of the current default JDK source package, for example openjdk-6-source at the moment (or gcj-4.4-source for ports without openjdk as default).