mailing-list for TeXmacs Users

[Shivkumar Chandrasekaran <address@hidden>]

Hi,
I tried hitting all the download buttons on texmacs.org but it 
consistently says that the file is not found in "this server". Can 
someone please post a direct link either to the source or an rpm? Google 
has turned up nothing so far.
Thanks.
--shiv--