0

这个错误好像容易出现在Ubuntu 20.04,解决方法很简单:

apt install libgmp-dev

分享到:
Qi 问的问题 2023年1月12日
添加评论