Hello,
I am having an issue with Deken on Raspberry Pi running the latest version
of Debian 12 and pd 0.54-1.
The problem is that Deken is not showing the ELSE external, nor many other
externals available for Linux-Arm64-32.
When starting deken says Platform detected: Linux-aarch64-float32" and
"Platform re-detected: Linux-armv8-float32".