https://edeproject.org/wiki/binarypackages https://edeproject.org/wiki/binarypackages Don't see anything for ARM, but might be as simple as getting the source p

https://edeproject.org/wiki/binarypackages https://edeproject.org/wiki/binarypackages Don't see anything for ARM, but might be as simple as getting the source package and (de)building debs for it.