ocaml/opam-repository — pull request #2030 by talex5 (2014-05-10 15:57:15+00:00)
Title: Fix coqide configure to accept make version 4

From: http://cvsweb.netbsd.org/bsdweb.cgi/~checkout~/pkgsrc/lang/coq/patches/patch-configure?rev=1.1