coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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

[Coq-Club] Compilation of CoQ on Linux, michael.ganem, 01/04/2014
- Re: [Coq-Club] Compilation of CoQ on Linux, Stéphane Glondu, 01/05/2014
  - Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter, 01/05/2014
    - Re: [Coq-Club] Compilation of CoQ on Linux, Jason Gross, 01/06/2014
      - Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter, 01/06/2014
        
        Re: [Coq-Club] Compilation of CoQ on Linux, Jason Gross, 01/06/2014
        
        Re: [Coq-Club] Compilation of CoQ on Linux, Vladimir Voevodsky, 01/06/2014
        
        Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter, 01/10/2014
      - Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter, 01/06/2014
        
        Re: [Coq-Club] Compilation of CoQ on Linux, Jason Gross, 01/06/2014
        
        Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter, 01/10/2014
        
        Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter, 01/11/2014
  - Message not available
    - Message not available
      - Message not available
        
        Message not available
        
        Re: [Coq-Club] Compilation of CoQ on Linux, Michael Ganem, 01/13/2014