Debian Patches

Status for jflex/1.7.0-3

Patch Description Author Forwarded Bugs Origin Last update
build.patch build
Adjust the build system for Debian.
Markus Koschany <> not-needed 2018-09-30
jflex-executable.patch jflex executable
Fix path to jflex.jar.
Markus Koschany <> not-needed 2018-09-30
encoding.patch encoding
debian/ does not work. FIXME!
Markus Koschany <> 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 <> not-needed 2018-10-01

All known versions for source package 'jflex'