Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Compilation of CoQ on Linux

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Compilation of CoQ on Linux


Chronological Thread 
  • From: Bill Richter <richter AT math.northwestern.edu>
  • To: Stéphane Glondu <steph AT glondu.net>
  • Cc: michael.ganem AT gmail.com, coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Compilation of CoQ on Linux
  • Date: Sun, 5 Jan 2014 13:04:55 -0600

What version of Coq are you trying to compile? Which distribution
are you running?

Stéphane, I'm sorry for not including that. I think I'm using Coq 8.4pl3,
which I downloaded as
coq-8.4pl3.tar.gz.

--
Best,
Bill



Archive powered by MHonArc 2.6.18.

Top of Page