OCamlPro/opam-repository — pull request #303 by bobot (2013-01-18 16:08:02+00:00)
Title: update coq8.4 to coq8.4pl1 and fix build problems

Fix three compilation issues.

Without the second commit, I don't understand how coq have ever been built with lablgtk using opam. Or lablgtk 2.16.0 puts its stubs in lib/stublibs for the first time?