coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoLoR for Coq 8.5 beta

From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] CoLoR for Coq 8.5 beta
Date: Thu, 07 May 2015 13:46:22 +0200

Hello.

In case you need it, you will find a version of CoLoR compiling with the current Git version of Coq, branch v8.5, here.

Best regards,

Frédéric.

[Coq-Club] CoLoR for Coq 8.5 beta, Frédéric Blanqui, 05/07/2015