braibant/opam-coq-repo — pull request #10 by silene (2014-04-03 19:31:42+00:00)
Title: Package Flocq 2.3.0 and Interval 1.0.0

Also, remove Coquelicot 2.0.0 (incompatible with Ssreflect 1.5).