Copyright for coq-libhyps source package in Oracular