[Easycrypt-club] infos suplementaires

Santiago Zanella szanella at gmail.com
Sam 21 Avr 19:22:50 CEST 2012


Hi Jospin,

I suppose you are compiling CertiCrypt from the tar.gz bundle
available at http://certicrypt.gforge.inria.fr/
As the enclosed README file says, you must use Coq 8.3pl2 to compile
CertiCrypt. Compilation should also work under Coq 8.3pl3 or 8.3pl4.

Regards,
--Santiago

On Fri, Apr 20, 2012 at 4:10 PM, Jospin KOUENEZI <joelkouenezi at gmail.com> wrote:
> merci
> pour la version de coq:
>
>  jospin at jospin-HP-620:~$ coqc -v
> The Coq Proof Assistant, version 8.2pl3 (April 2012)
> compiled on avril 20 2012 06:40:19 with OCaml 3.11.2
>
> j'utilise
>
> Linux jospin-HP-620 2.6.35-22-generic #33-Ubuntu SMP Sun Sep 19 20:34:50 UTC
> 2010 i686 GNU/Linux
>
>
> _______________________________________________
> Easycrypt-club mailing list
> Easycrypt-club at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/easycrypt-club
>



More information about the Easycrypt-club mailing list