proteusisc.org dns doesn't resolve here.

Last commit 5y ago.

Only support xilinx and digilent (?)