10:43 johans 

- 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>

 

09:21 johans 

- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes