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.