You can download Boni+ for free at: https://pistachoduck.itch.io/boniboni. Download the Boni_Linux64.zip version and extract it, and place the Boni_Linux.pck file in the gamedata directory.
Port file: https://github.com/tabreturn/PortMaster/raw/pistacho-duck-games/Boni.zip
[x] RG351V AmberELEC
[x] RGB30 JELOS
[x] 353VS ArkOS
[x] OGA ArkOS
[x] X55 JELOS
[x] RGB20S uOS
[x] RG353P JELOS
[x] RG351P AmberELEC
[x] RG353M ArkOS
[ ] ...
I've reached out to the creator for permission to distribute this. No response yet ...