[TCD]

Originally Posted by fryguy

Maybe I uploaded them to the wrong FTP. It was the contrib.softpres.org one.

That's the SPS FTP. The HOL FTP is this one:

Address: hol.abime.net
User: hol
Password: incoming

Originally Posted by fryguy

But try here:

https://www.dropbox.com/sh/pyrw8s7vw...9bKh5aJIa?dl=0

Thank you