ocaml/opam-repository — pull request #2186 by cocoatomo (2014-06-03 01:13:01+00:00)
Title: Add Coq 8.4pl4

As a solution for #2161, this commit adds Coq 8.4pl4 (newest version at 2014/06/03) to opam-repository.