[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Texmacs-dev] maxima_filter binary in TeXmacs-1.0.7.16-src.tar.gz??
From: |
Andrey G. Grozin |
Subject: |
[Texmacs-dev] maxima_filter binary in TeXmacs-1.0.7.16-src.tar.gz?? |
Date: |
Sat, 2 Mar 2013 12:01:06 +0700 (NOVT) |
User-agent: |
Alpine 1.10 (LRH 962 2008-03-14) |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Texmacs-dev] maxima_filter binary in TeXmacs-1.0.7.16-src.tar.gz??,
Andrey G. Grozin <=