I tried running sudo opam init
on an Ubuntu virtual box. On pressing y
after being prompted, the following error occurs:
global-config does not define the variable lib
I tried running sudo opam init
on an Ubuntu virtual box. On pressing y
after being prompted, the following error occurs:
global-config does not define the variable lib