Any plans to have nethack in the arm repos? I have installed Void Linux on a Raspberry Pi yesterday, planning to install a bunch of old games as well as DosBox on it....