Is here https://www.cs.bham.ac.uk/research/projects/poplog/V16/AREADME.html https://www.cs.bham.ac.uk/research/projects/poplog/V16/required-packages.html
Now with more detailed instructions for setting up, and with links to background information. Please report errors/suggest improvements etc. Later we should have a tar file that can be downloaded, with a script that can be run to set everything up (after required libraries have been installed by another script) It's nearly there.
