UDD
Skip Quicknav
Ultimate Database
Bugs search
Maintainer dashboard
Lintian
Lintian tags
Patches
Bugs usertags
Patches
Debian Patches
Status for jflex/1.7.0-3
Search:
Patch
Description
Author
Forwarded
Bugs
Origin
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
All known versions for source package 'jflex'
1.8.2-1
(experimental)
1.7.0-3
(bookworm, trixie, sid)
1.7.0-2
(bullseye)
Links
Package Tracker for 'jflex'
Debian Maintainer Dashboard for 'jflex'
Browse sources for 'jflex/1.7.0-3' on sources.debian.org
DEP3: Patch Tagging Guidelines
