Steps to Reproduce: $ rpm -q --qf '%{LICENSE}\n' libgmp GPL $ Actual Results: $ grep GPL NEWS * Now under the LGPL. $ grep -C1 'General Public' gmp.texi The precise conditions of the license for the GNU MP library are found in the Lesser General Public License version 2.1 that accompanies the source code, see @file{COPYING.LIB}. Certain demonstration programs are provided under the terms of the plain General Public License version 2, see @file{COPYING}. $
I'll take care.
Corrected in gmp-4.1.4-alt2.