The Coq mailing list

[Wilayat Khan <wilayatk AT gmail.com>]

Hi Lars

 Thanks for the reply. I am wondering, why are the binaries downloaded from the site not working. If I am not mistaken, I had just installed the windows version of Coq 8.2 downloaded from https://coq.inria.fr/coq-82-detailed-description, while I can install it now but then can not run the binary coqide.exe. I will try building the binaries anyway.  

Wilayat

On Tue, Sep 22, 2015 at 11:04 PM, Lars Rasmusson <Lars.Rasmusson AT sics.se> wrote:

If you don't have the binaries anymore, perhaps you can build it from sources?

There is an 8.2 branch in the git repo.

https://github.com/coq/coq/tree/v8.2

On Mon, Sep 21, 2015 at 10:49 AM, Wilayat Khan <wilayatk AT gmail.com> wrote:

Hello 

  I can not run my old Coq script (developed with Coq 8.2 on Windows 7, 4 years ago) on Coq 8.3 or later (even if use option  [-compat 8.2]) , nor can execute Coq 8.2 (downloaded from official website) on Windows XP, Vista, 8 or 10 (complaining compatibility). 

 Would be happy if I get Coq 8.2 that can work on Windows or compile the script on Coq 8.3 or later without manually resolving all the compatibilities in my code. 

 Any idea?  Thanks, 

 Wilayat