Skip to Content.

Sympa Menu

coq-club - [Coq-Club] New release of CoLoR for Coq 8.6

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] New release of CoLoR for Coq 8.6

From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
To: color AT inria.fr
Cc: coq-club AT inria.fr
Subject: [Coq-Club] New release of CoLoR for Coq 8.6
Date: Fri, 13 Jan 2017 09:34:59 +0100

Hello.

I am happy to announce a new release of CoLoR (version 1.3.0 on Opam) that compiles with Coq 8.6 thanks to the work of Vadim Zaliva.

Frédéric.

http://color.inria.fr/

[Coq-Club] New release of CoLoR for Coq 8.6, Frédéric Blanqui, 01/13/2017

Archive powered by MHonArc 2.6.18.