On Tue, Jul 18, Stéphane Glondu wrote:

> FYI, I've fixed labltk with 4.05 in the Debian package (not yet uploaded):
> https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/labltk.git/tree/debian/patches

Thanks, I came up with the same changes, execpt the one for
"Texp_function".

Olaf