Update XCSoar to 7.13 (134)

metadata/org.xcsoar.yml

@@ -357,7 +357,33 @@ Builds:
       - make TARGET=ANDROID DEBUG=n TESTING=n -j`nproc`
     ndk: r22b
 
+  - versionName: '7.13'
+    versionCode: 134
+    commit: 3ab3250ba9c276d6e214bcd507bb8a2c0808ea3f
+    submodules: true
+    sudo:
+      - apt-get update || apt-get update
+      - apt-get install -y ninja-build g++ vorbis-tools librsvg2-bin imagemagick
+      - pushd build/srclib/cpython
+      - ./configure
+      - make -j`nproc`
+      - make altinstall
+      - popd
+    output: output/ANDROID7NEON/opt/build/unsigned.apk
+    srclibs:
+      - cpython@v3.9.6
+    prebuild: $$SDK$$/tools/bin/sdkmanager 'platforms;android-29' 'build-tools;29.0.3'
+        > /dev/null
+    scandelete:
+      - android/ioio
+      - android/UsbSerial/usbserial/eclipse_lib
+    build:
+      - python3.9 -m venv .
+      - source bin/activate
+      - make TARGET=ANDROID DEBUG=n TESTING=n -j`nproc`
+    ndk: r22b
+
 AutoUpdateMode: Version
 UpdateCheckMode: Tags
-CurrentVersion: '7.12'
-CurrentVersionCode: 133
+CurrentVersion: '7.13'
+CurrentVersionCode: 134