mailing-list for TeXmacs Users

[Frank <address@hidden>]

Hi,

I see that a newer version of TeXmacs is already pushed on the official 
website. A build for Ubuntu 12.04 is available now. Congratulations.

However, it is still not shown on the repo claimed at 
https://www.texmacs.org/tmweb/download/linux-repos.en.html

That is to say, 
http://ftp.texmacs.org/TeXmacs/tmftp/repos/apt/

Ideally, this would be done automatically without a human interference. So I 
guess something is not properly configured. I hope that it would be fixed 
soon.

Best wishes,
Frank

于 May 31, 2020 10:27:12 AM UTC, Frank <address@hidden> 写到:
>Hi,
>
>If I am not mistaken, there is so far no new build. Are there any news 
>or difficulties?
>
>Best wishes,
>
>Frank
>
>On 19/05/2020, TeXmacs wrote:
>> Hi Frank,
>>
>> We are working on the problem.  The machine on which we build our
>packages has been
>> down for a month without us being able to reboot it (due to the
>lockdown).
>> We have been able to resume our work since last week.
>>
>> Best wishes, --Joris
>>
>>
>> On Sat, May 09, 2020 at 06:57:34AM +0000, Frank wrote:
>>> Hi,
>>>
>>> Do you have a solution now? If a new version of TeXmacs won't come
>in the near future, I guess that it is better to have a deb build for
>Ubuntu 20.04.
>>>
>>> By the way, we can also consider a snap (https://snapcraft.io/)
>build, which is universal to all Linux distros.
>>>
>>> Best wishes,
>>> Frank
>>>
>>> ??? April 28, 2020 5:21:04 PM UTC, marc lalaude-labayle
><address@hidden> ??????:
>>>> Hi !
>>>>
>>>> Did someone compile teXmacs under ubuntu 20.04 ? If so, how did you
>>>> manage
>>>> : with libqt4 or libqt5 ?
>>>>
>>>> And since libqtcore4 isn't available, one can't install deb
>packages
>>>> from
>>>> ubuntu 18.04 or 19.10. Note that evenwith a libqtcore4 package
>>>> installe"d
>>>> by hand, i couldn't install any of the different deb packages of
>>>> TeXmacs.
>>>>
>>>> But, the binary version on the website does work.
>>>>
>>>> Hope you're all OK.
>>>>
>>>> Regards.
>>>>
>>>> Marc
>>> -- 
>>> ?????? K-9 Mail ???????????????Android?????????

-- 
使用 K-9 Mail 发送自我的Android设备。