TeXmacs source and binaries are no longer here. Get them from TeXmacs' homepage.