Ironseed from 1994 is not one I'm familiar with, I only know if I had seen it when I was small I probably would have played it for hours. Ironseed 25th Anniversary Edition is a modern 2020 remake and now it has a Native Linux version.