Honestly, I can't really support Linux binaries anymore. Although, it should be easy enough to compile the games yourself for Linux. All you need is a Rust compiler and cargo, and SDL.
https://github.com/liamoc/desktop_games
Don't use the Makefiles, they're for publishing to Itch. Looking at the Ubuntu packages for example, I think you'll need to run something like:
sudo apt install rustc cargo libsdl2 libsdl2-dev
Then just run
cargo run --release gatchi
from the directory where you cloned the above repository.