ocaml/opam-repository — pull request #1460 by pirbo (2013-12-18 13:13:05+00:00)
Title: Add lablgtkosx-2.00

This library is not that useful but it is used by CoqIDE so it might deserve publication.