Copyright for gmp source package in Raring