coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Ssreflect

From: Ranjani Krishnan <ranjani141 AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Ssreflect
Date: Tue, 9 Feb 2016 07:02:43 +0530
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ranjani141 AT gmail.com; spf=Pass smtp.mailfrom=ranjani141 AT gmail.com; spf=None smtp.helo=postmaster AT mail-ig0-f175.google.com
Ironport-phdr: 9a23:XVZh0RC7OhVITwG7XyRDUyQJP3N1i/DPJgcQr6AfoPdwSP7/p8bcNUDSrc9gkEXOFd2CrakU1KyM4uu8ByQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTokbrjsMGNKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxeL19RrhFBhwnNXo07Yvlr0rtVwyKs0EVVGcflBsAIBLE9xH8V5G55jHzsOh03ijDYZTeQrU9WDDk5KBuHky7wBwbPiI0pTmEwvd7i7hW9Uqs

Hello,

I am new to coq. When I tried to do 'Require ssreflect.ssreflect' I am getting the compilation error : "File E:\Coq\lib\user-contrib\mathcomp/Ssreflect/ssreflect.vo

has bad magic number. It is corrupted or was compiled with another version of

Coq"

I am using the coq ide for windows version 8.4pl6. Can someone help me solve this?

Thanks,

Ranjani

[Coq-Club] Ssreflect, Ranjani Krishnan, 02/09/2016
- Re: [Coq-Club] Ssreflect, Enrico Tassi, 02/09/2016
  - Re: [Coq-Club] Ssreflect, Ranjani Krishnan, 02/11/2016
    - Re: [Coq-Club] Ssreflect, Enrico Tassi, 02/11/2016
      - Re: [Coq-Club] Ssreflect, Ranjani Krishnan, 02/13/2016
        
        Re: [Coq-Club] Ssreflect, Laurent Thery, 02/13/2016
        
        Re: [Coq-Club] Ssreflect, Ranjani Krishnan, 02/14/2016