diff -Nru jflex-1.6.1/debian/changelog jflex-1.6.1/debian/changelog --- jflex-1.6.1/debian/changelog 2016-07-28 04:22:40.000000000 +0000 +++ jflex-1.6.1/debian/changelog 2018-02-13 21:30:33.000000000 +0000 @@ -1,3 +1,15 @@ +jflex (1.6.1-3) unstable; urgency=medium + + * Use compat level 11. + * Declare compliance with Debian Policy 4.1.3. + * Use https for Format field. Update copyright years. + * Change dependency from default-jre to default-jre-headless | + java7-runtime-headless. + Thanks to Kai-Chung Yan for the report. (Closes: #890345) + * Change source/target to 1.7. + + -- Markus Koschany Tue, 13 Feb 2018 22:30:33 +0100 + jflex (1.6.1-2) unstable; urgency=medium * Tighten build-dependency on jflex. @@ -150,7 +162,7 @@ * Changed build system to use ant, cdbs * Added a compat file * Changed dependency to comply with debian java policy (closes: #237823) - * Removed jflex, cup dependency and patch build file to + * Removed jflex, cup dependency and patch build file to use the included pregenerated files to avoid dep on itself * Register documentation with doc-base * Fixed outdated URL in examples/byaccj (closes: #306528) diff -Nru jflex-1.6.1/debian/compat jflex-1.6.1/debian/compat --- jflex-1.6.1/debian/compat 2016-07-28 04:22:40.000000000 +0000 +++ jflex-1.6.1/debian/compat 2018-02-13 21:30:33.000000000 +0000 @@ -1 +1 @@ -9 +11 diff -Nru jflex-1.6.1/debian/control jflex-1.6.1/debian/control --- jflex-1.6.1/debian/control 2016-07-28 04:22:40.000000000 +0000 +++ jflex-1.6.1/debian/control 2018-02-13 21:30:33.000000000 +0000 @@ -7,12 +7,12 @@ Build-Depends: ant, cup, - debhelper (>= 9), + debhelper (>= 11), default-jdk, jflex (>= 1.6.1), junit, maven-repo-helper -Standards-Version: 3.9.8 +Standards-Version: 4.1.3 Vcs-Git: https://anonscm.debian.org/git/pkg-java/jflex.git Vcs-Browser: https://anonscm.debian.org/cgit/pkg-java/jflex.git Homepage: http://www.jflex.de/ @@ -20,7 +20,7 @@ Package: jflex Architecture: all Depends: - default-jre | java6-runtime, + default-jre-headless | java7-runtime-headless, ${misc:Depends} Enhances: ant-optional diff -Nru jflex-1.6.1/debian/copyright jflex-1.6.1/debian/copyright --- jflex-1.6.1/debian/copyright 2016-07-28 04:22:40.000000000 +0000 +++ jflex-1.6.1/debian/copyright 2018-02-13 21:30:33.000000000 +0000 @@ -1,4 +1,4 @@ -Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ +Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: jflex Source: https://github.com/jflex-de/jflex Files-Excluded: @@ -18,7 +18,7 @@ 2011, Torsten Werner 2013, Sylvestre Ledru 2016, Emmanuel Bourg - 2016, Markus Koschany + 2016-2018, Markus Koschany License: BSD-3-clause License: BSD-3-clause diff -Nru jflex-1.6.1/debian/patches/build.patch jflex-1.6.1/debian/patches/build.patch --- jflex-1.6.1/debian/patches/build.patch 2016-07-28 04:22:40.000000000 +0000 +++ jflex-1.6.1/debian/patches/build.patch 2018-02-13 21:30:33.000000000 +0000 @@ -28,8 +28,8 @@ description="generate sources and compile all non-test classes"> diff -Nru jflex-1.6.1/debian/rules jflex-1.6.1/debian/rules --- jflex-1.6.1/debian/rules 2016-07-28 04:22:40.000000000 +0000 +++ jflex-1.6.1/debian/rules 2018-02-13 21:30:33.000000000 +0000 @@ -2,7 +2,7 @@ export JAVA_HOME := /usr/lib/jvm/default-java %: - dh $@ --parallel --with maven_repo_helper + dh $@ --with maven_repo_helper override_dh_auto_build: mkdir -p build/generated-sources/jflex