The Coq mailing list

["Strub, Pierre-Yves" <pierre-yves AT strub.nu>]

I'm jumping on that: is there some doc. on packaging Coq devs. in 
opam:coq ?

Best,
-- Pierre-Yves.

On 2015-02-05 17:00, Frédéric Blanqui wrote:
> Dear all,
>
> I am pleased to announce that the last version of CoLoR
> (http://color.inria.fr) for Coq 8.4 is now available on OPAM (see
> https://opam.ocaml.org/).
>
> For installing it, simply do:
>
> 1) opam repo add coq-stable https://github.com/coq/repo-stable.git
>
> 2) opam install --jobs=$n coq:color # it takes 6'22" on my computer 
> with $n=10
>
> Enjoy!
>
> Frédéric.