Debian Patches

Status for jflex/1.7.0-2

Search:

Patch	Description	Author	Forwarded	Last update
build.patch	build Adjust the build system for Debian.	Markus Koschany <apo@debian.org>	not-needed	2018-09-30
encoding.patch	encoding debian/ant.properties does not work. FIXME!	Markus Koschany <apo@debian.org>	no	2018-10-01
inputstreamctor.patch	inputstreamctor Upstream uses the older 1.6.1 version to bootstrap jflex. Since inputstreamctor was removed in version 1.7.0 we have to make this adjustment.	Markus Koschany <apo@debian.org>	not-needed	2018-10-01
jflex-executable.patch	jflex executable Fix path to jflex.jar.	Markus Koschany <apo@debian.org>	not-needed	2018-09-30

Showing 1 to 4 of 4 entries