Could you please change the text in https://www.texmacs.org/tmweb/download/linux-repos.en.html#debian and point them to buster instead of stretch? Buster is the current stable version of Debian [1]
[1] - https://www.debian.org/releases/ -> "Index of releases" section. thanks raju -- Kamaraju S Kusumanchi | http://www.kamaraju.xyz/dk/blog _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
