org.freedesktop.Sdk.Extension.mono5 is not installed

[bbhtt]

Hi, I'm getting this issue while trying to update the runtime of this app to 41/42 https://github.com/flathub/org.gnome.gbrainy/blob/master/org.gnome.gbrainy.json

org.freedesktop.Sdk.Extension.mono5 is installed:

$ flatpak list | grep mono

Mono 5.x Sdk extension  org.freedesktop.Sdk.Extension.mono5     1.6                 user
Mono 5.x Sdk extension  org.freedesktop.Sdk.Extension.mono5         5.20.1.34   19.08   user

but somehow it doesn't find it. Specifying the branch in the manifest doesn't help.

$ flatpak-builder -v build-dir org.gnome.gbrainy.json

FB: Running: git config --get user.email
FB: Running: git config --get user.name
FB: Running: flatpak info --arch=x86_64 --show-commit org.gnome.Sdk 42
FB: Running: flatpak info --show-location --arch=x86_64 org.gnome.Sdk 42
FB: Running: flatpak info --arch=x86_64 --show-commit org.gnome.Platform 42
Downloading sources
FB: Running: git --version
FB: Git version: 2.36.1.0
FB: Running: git cat-file -e dadc19cf1b90c5743f2776c675faac990e397a56
FB: Running: git ls-remote origin
FB: Running: git config transfer.fsckObjects 1
Fetching git repo https://github.com/mono/gtk-sharp.git, ref refs/heads/main
FB: Running: git fetch -p --no-recurse-submodules --depth=1 -f origin '+refs/heads/main:refs/heads/main'
remote: Total 0 (delta 0), reused 0 (delta 0), pack-reused 0
FB: Running: git rev-parse dadc19cf1b90c5743f2776c675faac990e397a56
FB: Running: git rev-parse --verify --quiet dadc19cf1b90c5743f2776c675faac990e397a56:.gitmodules
Initializing build dir
FB: Running: flatpak build-init --sdk-extension=org.freedesktop.Sdk.Extension.mono5 --arch=x86_64 build-dir org.gnome.gbrainy org.gnome.Sdk org.gnome.Platform 42
error: Requested extension org.freedesktop.Sdk.Extension.mono5 not installed

flatpak-builder 1.2.2

Any idea?

[hfiguiere]

There is no mono5 built for the current runtime.

Not sure why but it could be either:

1. the maintainer just didn't
2. it's broken and too much hassle.