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 <jaapb@kerguelen.org>

END
