Re: Latest opam is out

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

I've opened up a pull request in Homebrew for the update:
https://github.com/mxcl/homebrew/pull/16058

Most importantly, the mirage/opam-repo-dev works much better now.  Every time 
you issue an 'opam update', all of the remote repositories will be pulled and 
refreshed automatically, and rebuilt when you call 'opam upgrade'.

Dimos: I think this should fix the problem you had with a stale upstream 
mirage-platform, for example.

Thanks for all the fixes Thomas!

-anil

On 14 Nov 2012, at 17:42, Thomas Gazagnaire <thomas.gazagnaire@xxxxxxxxx> wrote:

> Hi all,
> 
> I've releases opam 0.8.1 which should fix the pinning/dev version updates 
> issues that some of you might have unfortunately encountered. 
> 
> The new version should be in homebrew soon and I've updated the binary on 
> opam.ocamlpro.com
> 
> --
> Thomas
> 
>