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 <email address hidden> Wed, 27 Jul 2016 11:08:19 +0200