mailing-list for TeXmacs Users

[marc lalaude-labayle <address@hidden>]

Hi Philippe,

as always, a big thank you for your repo that i use regularly

i just installed buntu 18.04 and got to your webpage. I encoutered some problems :

1. an apt-get update says that it can't connect to your repo
2. i downloaded the package and opened it with gdebi. It says the guile 1.8 dependency can't be satisfied.

Has anyone any hint or solution ?

Marc

Le dim. 16 sept. 2018 à 00:21, Philippe Joyez <address@hidden> a écrit :

HI Eduardo,

You can give a try to the TeXmacs build located at
https://software.opensuse.org/download.html?project=home:slowphil:texmacs-devel&package=texmacs

If you add the repository as instructed, it will pull the Guile 1.8 package
automatically.

Best,
Philippe