pkgsrc/lang/coq/patches