Copyright for agda source package in Wily