The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Thu, Jul 16, 2015 at 10:55:22AM -0700, Vadim Zaliva wrote:
> 
> > On Jul 16, 2015, at 1:54 , Guillaume Claret 
> > <guillaume AT claret.me>
> >  wrote:
> > 
> > Color works with Coq version 8.4.6, which is in the default OCaml 
> > repository (which should be automatically activated).
> 
> This repo: https://coq.inria.fr/opam/released have only coq8.5 and
> color depends on it.

Again, nothing is official yet, but if you want to peek at the
description of the archive, here the current text:

  https://coq.inria.fr/opam/www/policy.html

The released/ repo is for "software with a version", i.e. software that
was released.

Best,
-- 
Enrico Tassi