Copyright for gmp source package in Hardy