Copyright for coq-quickchick source package in Mantic