coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.2 compatibility issues

From: Lars Rasmusson <Lars.Rasmusson AT sics.se>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.2 compatibility issues
Date: Tue, 22 Sep 2015 17:04:36 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Lars.Rasmusson AT sics.se; spf=None smtp.mailfrom=lra AT sics.se; spf=None smtp.helo=postmaster AT mail-la0-f53.google.com
Ironport-phdr: 9a23:YtiRvB3YV/xkmM/dsmDT+DRfVm0co7zxezQtwd8ZsegSKvad9pjvdHbS+e9qxAeQG96Lt7QY06GG6OjJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6OyZjvnLDps7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLVry/dKAlR5RZCi4nOiY7/p7Frx7GGC+G/GBUaGwNlwdTGA/DpEXeV43q9BHzre9gwzKdO+XtTLsvHy+vufQ4ACT0gTsKYmZquFrcjdZ92fpW

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.

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

[Coq-Club] Coq 8.2 compatibility issues, Wilayat Khan, 09/21/2015
- Re: [Coq-Club] Coq 8.2 compatibility issues, Lars Rasmusson, 09/22/2015
  - Re: [Coq-Club] Coq 8.2 compatibility issues, Wilayat Khan, 09/23/2015