[Texmacs-dev] maxima_filter binary in TeXmacs-1.0.7.16-src.tar.gz??

[Andrey G. Grozin]

Hello *,

address@hidden ~/TeXmacs-1.0.7.16-src $ ls plugins/maxima/bin/
maxima_detect*  maxima_filter*  tm_maxima*
address@hidden ~/TeXmacs-1.0.7.16-src $ file plugins/maxima/bin/maxima_filter
plugins/maxima/bin/maxima_filter: ELF 32-bit LSB executable, Intel 80386, 
version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 
2.2.5, not stripped

Why is this 32-bit x86 Linux binary in the source .tar.gz? It's not in 
svn.

Another question. Currently there is some problem with ftp.texmacs.org. I 
cannot get the newest source:

address@hidden ~ $ wget 
ftp://ftp.texmacs.org/pub/TeXmacs/tmftp/source/TeXmacs-1.0.7.18-src.tar.gz
--2013-03-02 15:59:50-- 
ftp://ftp.texmacs.org/pub/TeXmacs/tmftp/source/TeXmacs-1.0.7.18-src.tar.gz
           => ‘TeXmacs-1.0.7.18-src.tar.gz’
Resolving ftp.texmacs.org... 193.55.176.20
Connecting to ftp.texmacs.org|193.55.176.20|:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD (1) /pub/TeXmacs/tmftp/source ... done.
==> SIZE TeXmacs-1.0.7.18-src.tar.gz ... 18532552
==> PASV ... couldn't connect to 193.55.176.20 port 46447: No route to 
host

This happens from 3 different places (2 in Russia and 1 in Germany).

Andrey