On Wed, Aug 27, 2014 at 11:55 PM, Vincent B. <vb@luminar.eu.org> wrote:

> On 28/08/2014 01:02, Martin DeMello wrote:
> > I managed to fix it by uninstalling opam-git and installing opam; the
> bug seems
> > to be that while the opam-git package did update to 1.1 it never
> triggered an
> > update to my installation.
> >
> > martin
> >
>
> Hi Martin,
>
> On Archlinux git packages are not upgraded on a package upgrade, there is
> no way
> AFAIK for the package manager to guess if a git package has been upgraded
> or not.
>
> So this is normal.
>
> I recommand using only the "opam-git" package on Archlinux until a new OPAM
> version is released.


True; I'm not sure what exactly went wrong in my case but opam-git never
updated anything, that is, it never recompiled the latest version even when
there were pushes to the git repo.

martin