braibant/opam-coq-repo — pull request #9 by silene (2014-03-17 07:08:32+00:00)
Title: Package Coquelicot 2.0.1.

A last minute change in Ssreflect 1.5 broke Coquelicot, so here is a new version.

I don't know what is the Opam policy about obsolete packages. Should I just remove the Coquelicot 2.0.0 directory?