ocaml/opam-repository — pull request #1236 by bobot (2013-10-25 14:02:23+00:00)
Title: Why3message

Fix #1232

Also one old commit that use the new messages feature, but that I wrote when I proposed this feature.

As a general question, is there a place to put new packages which work only with the development version of opam?