K 10 svn:author V 6 johans K 8 svn:date V 27 2013-02-17T10:43:22.284113Z K 7 svn:log V 229 - Update coq to 8.4 pl1 [1] http://coq.inria.fr/coq-84 - Remove local patch that is now included upstream - Add ocaml-findlib as build dependency PR: ports/176056 Submitted by: Jaap Boender END