Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我尝试sudo opam init在 Ubuntu 虚拟机上运行。提示后按y,出现如下错误:
sudo opam init
y
global-config does not define the variable lib
安装 Opam 1.2.2 解决了这个问题。谢谢您的帮助。