Salut j'ai un raspberry pi et je veux metre un serveur pocketmine 1.2.13 dessus mais le probleme ces que je ne sais pas comment on fait mais je sais que ces possible de passer notre raspberry en 64bits mais je ne sais pas comment on fait . Translate
FreeGamingHere has a 32-bit phar that is the official pocketmine ported to 32-bit but he is not going to share if I am not wrong. PocketMine does no longer support 32-bit, however you can use a spoon/fork of it that supports it.
If you have a PI 3, and are willing to install a 64bit distro/OS on it, please let me know! I'd be more than happy to finally be able to test php-build-scripts on a pi.