pkgsrc/lang/coq