Stephen Sherratt

The criteria makes sense and I can see the argument for using `enabled_if` instead since on unsupported architectures dune shouldn't attempt to build the package and we shouldn't duplicate the...

> But I think @kit-ty-kate @rgrinberg and I have come up with a pretty decent idea on our call yesterday. It would be implementing `available` but then also promoting the...

Heads up that I can reproduce the issue @cuihtlauac reports when attempting to use IP 6 to connect to github (from any OS, natively and inside docker). Maybe not the...

I think for now just pass -4 whenever `curl`-ing a `github.com` url. I can update the install script to pass -4 to its internal invocations of `curl` and update the...

I still don't understand what causes `lisp` to be set for the dune filetype. It's definitely set (it's in the output of `:set`) and unsetting in (run `:set nolisp`) causes...

> I thought it would be because of [#10852](https://github.com/ocaml/dune/pull/10852). However, looking at the code and re experimenting with it, everything happens in the same directory (the one of the project)....

Heads up that I just rebased this onto the current tip of main. I'm going to do some work on this PR while @moyodiallo is away.

Can you elaborate a bit on what you mean by "stacked lockdirs". My understanding was that each dev tool would have its own package universe so that multiple non-coinstallable tools...

> After you've built a dev tool, you need to make it available to user rules (as in the example with ocamlformat above). Therefore, the user rules need to be...

Actually on second thought I'm not so sure it's necessary to add devtools to the build environments for other packages. When we talk about dev tools we're talking about programs...