Copyright for coq-quickchick source package in Noble