coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- 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
- 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
- Message not available
- Message not available
- Message not available
- Re: [Coq-Club] Compilation of CoQ on Linux, Bill Richter, 01/05/2014
- Re: [Coq-Club] Compilation of CoQ on Linux, Stéphane Glondu, 01/05/2014
Archive powered by MHonArc 2.6.18.