coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq Ocaml version

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: Laurent Thery <Laurent.Thery AT inria.fr>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq Ocaml version
Date: Thu, 14 Mar 2019 13:29:09 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
Ironport-phdr: 9a23:/ggL0R1/j/jgNuo5smDT+DRfVm0co7zxezQtwd8ZseIWKPad9pjvdHbS+e9qxAeQG9mCs7Qc0qL/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHOfwlEniaxba5vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okCYHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWpPUNhMWSxGDIOyYYkAAekPMulXs4bwvEcOoQekCAWwGO/i0D1Fi3nr1qM6yeQhFgTG0RQvEdILsXTUqNT1NKAKXu6x0qbI1i/bb+hO1jn88ofIdhQhru+DXbJ3acXc1VMvFwLfgVWLtIfoOC2a2/8CsmWY8+ZsT+Wvi3QoqwxopDWk28QiipHRi44IyV3J9j91zJgrKdC5UkJ3fNypHIZKuy2HOYZ6XNsuTmJptSogy7ALu4S3cSwQxJkpyRPSbeGMfZKS7RL5TumRJC91hHJ7d7K7gBa/6Uehx+7gWsWu11ZKtCVFnsHNtnALyRPT9tCKRuZ+80qiwzqDyR7f5+BeLUwpl6fXNoQtzqM+m5YNqUjDGzX5mETyjK+YbEUk/e2o5vz5bbj9qZ6RNJN4hhv5MqQ0lcyzGf44PRQWX2iH5eS806Xu8lH+QLVTl/E5jq3ZsI3BKskAva64AwpV0p455BqlDjem1s4YnXgdI15fdhKHlZDjO0vSL/DgEfe/n1OsnS93x/DGILLhGJXMI2PCkbfgeLZy8FRcxxApwdBe4ZJUELABL+jpVk//rtyLRiM+Zii93vzqDsk16oMTQ3PHVouQLbnft0PO2uIiOfikZYkPuT+7JeJztND0inpstFoceaiu6rkac+KjKdtvJ0GUbn3bq80AGHxC6gcWXLyyzlqYXmgAND6JQ6sg62RjW8qdBoDZS9Xo2eTZhXbpLthtfmlDT2u0PzLtfoSAVe0LbXPAMp851DseWur4EtNz5VSVrAb/joFfAK/M4CRJ54KzjJ5y/eKBzUhvpwwxNNyU1iS2d08xnm4MQG5kzPAn50tnxQXa3A==
Organization: X80 Heavy Industries

Laurent Thery
<Laurent.Thery AT inria.fr>
writes:

> what is the recommended Ocaml version for Coq 8.9?

The version I do recommend is 4.07.1+flambda with configure flags
"-flambda-opts '-O3 -unbox-closures'"

E.

[Coq-Club] Implementation of Coq's automation tactics, Xuanrui Qi, 03/08/2019
- Re: [Coq-Club] Implementation of Coq's automation tactics, Joomy Korkut, 03/08/2019
  - Re: [Coq-Club] Implementation of Coq's automation tactics, Gaëtan Gilbert, 03/08/2019
- [Coq-Club] Coq Ocaml version, Laurent Thery, 03/14/2019
  - Re: [Coq-Club] Coq Ocaml version, CYRIL SIX, 03/14/2019
  - Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/14/2019
    - Re: [Coq-Club] Coq Ocaml version, Xuanrui Qi, 03/14/2019
      - Re: [Coq-Club] Coq Ocaml version, Laurent Thery, 03/15/2019
        
        Re: [Coq-Club] Coq Ocaml version, Théo Zimmermann, 03/15/2019
        
        Re: [Coq-Club] Coq Ocaml version, Gaëtan Gilbert, 03/15/2019
        
        Re: [Coq-Club] Coq Ocaml version, Ian, 03/15/2019
        
        Re: [Coq-Club] Coq Ocaml version, Théo Zimmermann, 03/15/2019
        Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
        
        Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
        
        Re: [Coq-Club] Coq Ocaml version, Emilio Jesús Gallego Arias, 03/15/2019
        
        Re: [Coq-Club] Coq Ocaml version, Laurent Thery, 03/16/2019