eclipse-jdt-core (4.18-1) unstable; urgency=medium * New upstream release - Refreshed the patch * Standards-Version updated to 4.5.1 -- Emmanuel Bourg Mon, 28 Dec 2020 11:27:30 +0100 eclipse-jdt-core (4.17-1) unstable; urgency=medium * New upstream release - Removed the record support to build with Java < 14 -- Emmanuel Bourg Fri, 02 Oct 2020 10:53:51 +0200 eclipse-jdt-core (4.15-1) unstable; urgency=medium * New upstream release * Standards-Version updated to 4.5.0 * Switch to debhelper level 12 -- Emmanuel Bourg Sun, 26 Apr 2020 23:52:04 +0200 eclipse-jdt-core (4.12-1) unstable; urgency=medium * New upstream release -- Emmanuel Bourg Wed, 17 Jul 2019 13:24:13 +0200 eclipse-jdt-core (4.11-1) unstable; urgency=medium * New upstream release -- Emmanuel Bourg Thu, 11 Jul 2019 11:30:43 +0200 eclipse-jdt-core (4.10-1) unstable; urgency=medium * New upstream release * Standards-Version updated to 4.3.0 -- Emmanuel Bourg Fri, 28 Dec 2018 11:40:05 +0100 eclipse-jdt-core (4.9-1) unstable; urgency=medium * New upstream release - The license changed to EPL-2.0 -- Emmanuel Bourg Mon, 03 Dec 2018 12:59:32 +0100 eclipse-jdt-core (4.8-1) unstable; urgency=medium * New upstream release * Fixed the Vcs-Browser URL -- Emmanuel Bourg Tue, 27 Nov 2018 12:47:15 +0100 eclipse-jdt-core (4.7.3-1) unstable; urgency=medium * Initial release (Closes: #903913) -- Emmanuel Bourg Sun, 23 Sep 2018 22:44:40 +0200