Pablo Donato

I still get to see my wallpaper for a fraction of second when switching workspace and with the `--no-fading-openclose` option (using i3 too).

Problem is, the workaround is just to add explicitly the external library (here `atdgen` or `cohttp-lwt-unix`) as a dependency in dune, which I already do with no success. I also...

Indeed my mistake, I wasn't reading completely... So I implemented your suggestion, but it seemed like I had to dynamically load not only `atdgen`, but the transitive closure of all...

Ok so I have successfully installed Coq 8.16, but I still get the same error, albeit now it looks like it uses `findlib` (commit link: https://github.com/Champitoad/coq-plugin-template-atdgen/commit/67913eb48b460dcc4b4b21cc36ab1816cade2914): ``` > dune build...

I have updated Coq and OCaml: ```bash $ coqc -v The Coq Proof Assistant, version 8.17.0 compiled with OCaml 5.0.0 ``` and I've tried using the new loading syntax for...