Closed david-simoes-93 closed 3 years ago
On a fresh Ubuntu 20.04 install, got this error
$ opam switch 4.07.0 [ERROR] No switch 4.07.0 is currently installed. Did you mean 'opam switch create 4.07.0'? Installed switches are: - default
Should the create option be used?
Yes, switch create worked for me!
Fixed in 666c5483bc93efa6d01e0b7a927461269f8e14de.
On a fresh Ubuntu 20.04 install, got this error
Should the create option be used?