The downloads are on the main page of TeXmacs Upsilon.