coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Binary distributions of the user contributions

From: Jesper Bengtson <jebe AT itu.dk>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Binary distributions of the user contributions
Date: Wed, 26 Mar 2014 13:46:15 +0000
Accept-language: en-US

Dear all,

Do any of you know if there are binary distributions of the user
contributions, the containers library in particular, for windows computers. I
have a group of students who need this for a project and we would rather not
go the entire route through CygWin.

Best regards

Jesper Bengtson

[Coq-Club] Binary distributions of the user contributions, Jesper Bengtson, 03/26/2014