Bug#975707: adb devices fails with munmap_chunk() invalid pointer

[Markus]

Pinning the needed packages

Package: adb*
Pin: version 1:8.1*
Pin-Priority: 1001
Package: android*
Pin: version 1:8.1*
Pin-Priority: 1001

Package: android*
Pin: version 8.1*
Pin-Priority: 1001

Package: android-sdk-platform*
Pin: version 27*
Pin-Priority: 1001

within /etc/apt/preferences does do the trick for me until the updates 
are merged into unstable.


Cheers,