The Coq mailing list

[Guillaume Claret <guillaume AT claret.me>]

Color works with Coq version 8.4.6, which is in the default OCaml 
repository (which should be automatically activated).

Cheers,
Guillaume

The 07/16/2015 00:12, Vadim Zaliva wrote:
> > On Jul 10, 2015, at 3:32 , Guillaume Claret 
> > <guillaume AT claret.me>
> >  wrote:
> >
> > > instead? I have not seen any announcements about the change and decided
> > > to ask before switching...
> >
> > Yes, the OPAM repository migrated to this new address. I updated a tutorial I 
> > published on my blog to make a Coq package: 
> > http://coq-blog.clarus.me/make-a-coq-package.html
>
> Looks like the repo https://coq.inria.fr/opam/released contains only coq 
> 8.5b2 but some packages from the same repo (e.g. coq:color)
> do not build with it. :(
>
> Sincerely,
> Vadim Zaliva
>
> --
> CMU ECE PhD candidate
> Mobile: +1(510)220-1060
> Skype: vzaliva