OK, too bad…
Guess I’ll try the install from the deb file in the meantime.
EDIT: for now the 5.25 version does not work since it requires GLIBCXX_3.4.29 which does not seem to be included in the libstdc++ of the ARM repo yet but some older versions should work.