Copyright for coq-float source package in Sid