google-android-ndk-installer (12.b+1~trusty) trusty; urgency=medium * backport to trusty -- Hans-Christoph Steiner <email address hidden> Fri, 09 Sep 2016 17:10:59 +0200