unable to complete frama-c 21.1 installation on win10

Question

I followed all the steps to install frama-c via opam without errors

The last one: why3 config --detect does not print anything

But I see:

a