Copyright for prover9-manual source package in Xenial