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