This is informational

The Coq Platform opam build of sel on Windows fails with:

File "lib/dune", line 4, characters 13-35:
4 |  (preprocess (pps ppx_deriving.std))
                 ^^^^^^^^^^^^^^^^^^^^^^
Error: failed to delete sandbox in
_build/.sandbox/534594bed3fa062c420b42590da008d6
Reason:
rmdir(_build/.sandbox/534594bed3fa062c420b42590da008d6\default\.ppx\50a966c597cd710335ebee942ae6440d): Directory not empty

The remaining file is

opam\CP.2024.10.1~8.20~2025.01\.opam-switch\build\sel.0.5.0\_build\.sandbox\d1d9ef82bf618a4064cbd725c3186621\default\.ppx\50a966c597cd710335ebee942ae6440d\ppx.exe

This is the only Coq Platform package which does not build on Windows.

It does build when I disable the virus checker completely while it builds.

Usually on Windows if an exe file is created, the Virus checker checks it and has a lock on it for a short while, so that it cannot be deleted. The create / delete process is here so fast that it almost always fails. I guess this needs to be worked around in dune. This is just to let you and others running into this know.