[jflex] 01/05: Tighten build-dependency on jflex.

[Markus Koschany]

This is an automated email from the git hooks/post-receive script.

apo pushed a commit to branch master
in repository jflex.

commit cb8f6e91ecefad1e8b0613d7a02ad5bb9bcb5762
Author: Markus Koschany <apo at debian.org>
Date:   Thu Jul 28 05:55:20 2016 +0200

    Tighten build-dependency on jflex.
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index d0d0b3a..aac33e0 100644
--- a/debian/control
+++ b/debian/control
@@ -9,7 +9,7 @@ Build-Depends:
  cup,
  debhelper (>= 9),
  default-jdk,
- jflex,
+ jflex (>= 1.6.1),
  junit,
  maven-repo-helper
 Standards-Version: 3.9.8

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jflex.git