Raphaël Proust

These options should probably be exposed as an `ocaml-options-only-*` packages with conflicts against all other options. That's because the added environment variables will probably not survive the combination of two...

There are failures in the CI but they are just revdeps and the few I checked seem unrelated to these options being set. (Not sure it's the case for all...

> [1] : note that as far as I understand, the use of unicode characters for corners and such is not utf-8 specific, but rather unicode (vs ascii) specific (utf-8...

Sounds like this topic covered in the FAQ https://github.com/martanne/vis/wiki/FAQ#m-key-is-inserted-whenever-i-press-escape-and-key-in-short-succession

Thanks for the contribution! I have just quickly read the diff and it looks good. I will test the feature soon and then merge.

Considering the following changes: - naming it `run_in_main_dont_wait` to be consistent with `dont_wait` - adding an exception handler (otherwise exceptions raised by the lambda are lost) I'll do that soon....

> In order to have the package be installed in the debian-10 docker image, I have manually installed `libclang-cpp13-dev` You probably need to create a `conf-libclang-cpp13` package and add a...

> Moreover, this will be very specific to debian and its derivatives (arch installs everything in a single package for instance, and this is the distribution I use daily In...

There is a merge conflict that's not syntactical so git doesn't complain. Waiting for the beta to fix this.

In the failing CI logs there is the following chunk of text: ``` z3.4.8.13 installed successfully => This version of Z3 changed the linking mode from static to dynamic. This...