Cannot build PYNQ2.7 because isl.gforge.inria site is shut down

[ATchelet]

I had the same issue not too long ago.
Here’s how I got over it: Error During Creation of PYNQ SD Related to gcc-mb build - #2 by ATchelet