coq: version update