Diff of coq.spec