Hello *,
grozin@dns ~/TeXmacs-1.0.7.16-src $ ls plugins/maxima/bin/
maxima_detect* maxima_filter* tm_maxima*
grozin@dns ~/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:
grozin@dns ~ $ 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
_______________________________________________
Texmacs-dev mailing list
Texmacs-dev@gnu.org
https://lists.gnu.org/mailman/listinfo/texmacs-dev
