mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

Hi Henri,

On Sat, Nov 07, 2020 at 02:01:51PM +0100, Henri Girard wrote:
>    [1]https://www.texmacs.org/tmweb/download/linux-packages.en.html#debian

Is there a reason that you did not use the one for your system?  I.e,

    https://www.texmacs.org/tmweb/download/linux-packages.en.html#ubuntu

or the link mentioned by Darcy.

Best wishes, --Joris

[Darcy]
>      Thanks for your report. I will try to fix it.
>      And how did you install TeXmacs on Ubuntu 20.10? Build and install by
>      yourself or using
>      [2]http://texmacs.org/tmweb/download/linux-repos.en.html#ubuntu