Copyright for coq-float source package in Maverick