| Patch | Description | Author | Forwarded | Bugs | Origin | Last update |
|---|---|---|---|---|---|---|
| Use-android-json.patch | Use android-json This one has only "String" and input parameter for JSONTokener |
Ole Streicher <olebole@debian.org> | no | 2020-06-23 | ||
| Fix-build.xml-for-use-outside-of-starjava.patch | Fix build.xml for use outside of starjava This includes the following changes: * Rename the `extclasspath` elements to `path`. With ant >= 1.6, there is no difference (and before, the difference was not relevant for Debian) * Ignore local property files * Change the starlink installation dir to the standard Java path /usr/share/java/ * Prefix the name by `starlink-` * Adjust the build and test classpaths for Debian (also for CI tests) * Set a class path in the jar manifest * Set the source file encoding (cp1252), but not the source version (deprecated) * Don't sign the jarfile |
Ole Streicher <olebole@debian.org> | no | 2017-02-17 |