Debian Patches

Status for starjava-vo/0.2+2020.10.01-1

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

All known versions for source package 'starjava-vo'

Links