- package android SDK
- package javascript SDK (requires emscripten, which is currently unusable in
  Debian -- #809997)
