https://lists.centos.org/hyperkitty/list/devel@lists.centos.org/message/TF33QYATNL2NXTRGDW34YSJXA5FXUO4Q/
[CentOS-devel] libmp (gmp) conflicts - devel - lists.centos.org
centosdevelgmpconflictslists
https://lists.centos.org/hyperkitty/list/devel@lists.centos.org/message/OYKEC5WEHZBOHCJZRTTU5SBQM4SOIFIS/
Re: [CentOS-devel] libmp (gmp) conflicts - devel - lists.centos.org
centosdevelgmpconflictslists