coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] CoLoR on OPAM
- Date: Thu, 05 Feb 2015 17:00:26 +0100
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.
- [Coq-Club] CoLoR on OPAM, Frédéric Blanqui, 02/05/2015
- Re: [Coq-Club] CoLoR on OPAM, Strub, Pierre-Yves, 02/05/2015
- Re: [Coq-Club] CoLoR on OPAM, Frédéric Blanqui, 02/05/2015
- Re: [Coq-Club] CoLoR on OPAM, Enrico Tassi, 02/05/2015
- Re: [Coq-Club] CoLoR on OPAM, Strub, Pierre-Yves, 02/05/2015
Archive powered by MHonArc 2.6.18.