In case anyone was not aware, Csound5.02 is available at Sourceforge.
At present the x86_64 system is missing, and there may be a few other
missing bits, but the sources are there.

==John ffitch