On 2013-07-23 16:31, Marek Kubica wrote:
It is just that OPAM seemed to be a good deal more active.
^^^^^
Well, you understood Gerd's point.
Just my POV.
-- RMA.