Johan van Selst df999ac7da - 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>		2013-02-17 10:43:22 +00:00
..
distinfo
Makefile
pkg-descr
pkg-plist