Hans-Christoph Steiner Tue, 03 Jan 2017 12:24:38 -0800
FYI, I filed https://bugs.debian.org/849782 about APKs being inconsistently detected.
