ocaml/opam-repository — pull request #1899 by c-cube (2014-04-14 20:38:23+00:00)
Title: patch for coq when Make 4.0 is present (issue #1262)

This should allow people with a more recent Makefile to build coq.