Alex, Thanks for uploading that, but in the end I didn't need it. I had also filed a bug on the f32c project here:...
Hopefully nobody minds that I'm reviving this thread after so long. I am trying to get FPGArduino running on my Mimas V2 but I am getting a 404...
Separate names with a comma.