Copyright for coq-float source package in Hardy