fdroid update: treat target and min sdk version as integers
This change formats targetSdkVersion
and minSdkVersion
in index-v1.json as integer.
(They currently get published as string, one exception: see #593 (closed))
Since this changes our index, we should check that important subscribers (app, website) can deal with this change.
closes #596 (closed)
Edited by Hans-Christoph Steiner