mailing-list for TeXmacs Users

[Frank <address@hidden>]

Yes, it works. Thanks.

By the way, seemingly it is better to also upload the deb-source package.

Best wishes,

On 29/07/2019, TeXmacs wrote:
> On Mon, Jul 29, 2019 at 04:17:51PM +0200, TeXmacs wrote:
> > > And also, I find no build for Debian Buster (10) on the official website.
> > We'll give it a try.  Thanks for reminding us.
> We have uploaded the binary packages, but cannot try them yet.
> Please let us know whether they work for you.
>
> Best wishes, --Joris

--
Best wishes!
Yours,