All lab resources will be found at Professor Ackland's old webpage at this link:
"DSD-Group 1" has a guide for installing the necessary software, as there are some changed that need to be made past the initial installation:
Nexys 4 DDR Board Files: https://reference.digilentinc.com/vivado/installing-vivado/start