I have my options as above. The python provider was working before, but just broke after the last update on unstable. I noticed that have been changes to the default provider options, but I would assume that the withPython3 option should still work.
I don’t know if this is an error on my end, or if it’s a bug and I should file a issue.
I was using it for the Coqtail plugin.I previously just enabled withPython3and worked, and now it doesnt. There was no error message on the nix side, when I do :che it just says that that the python3 provider is disabled.