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