As Raspberry Pi, specially de 3 or 4 versions, is a very used device and a lot of them run Raspbian (debian), Ubuntu ARM, Manjaro ARM, we could have a version of PopCornTime for these distros. Raspbian is 32 bits and the others 64 bits.
As we already have Linux versions of PopCornTime, maybe it’s not so difficult to implement. If PopCornTime video engine doesn’t work fine, link it to omxplayer or mpv.
What do you think?