gradle-jflex-plugin (0.0.2-3) unstable; urgency=medium * Update gradle-2.12.patch for jflex 1.6.1. * Refresh build.patch for new release. * Tighten build-dependency on jflex to >= 1.6.1. -- Markus Koschany Wed, 27 Jul 2016 11:08:19 +0200 gradle-jflex-plugin (0.0.2-2) unstable; urgency=medium * Add gradle-2.12.patch and fix incompatibility with Gradle 2.12. Thanks to Chris Lamb for the report. (Closes: #825368) * Declare compliance with Debian Policy 3.9.8. -- Markus Koschany Thu, 26 May 2016 19:03:41 +0200 gradle-jflex-plugin (0.0.2-1) unstable; urgency=medium * Initial release (Closes: #814794) -- Markus Koschany Mon, 15 Feb 2016 15:37:42 +0100