Copyright for agda source package in Xenial