Debian 解决错误：“configure: error: GNU MP Library version 4.2 or greater required.” 2023-6-07 19:29 | 432 | 0 | 学习 1 字 | 几秒读完 本文最后更新于 545 天前，其中的信息可能已经有所发展或是发生改变。apt install libgmp-dev