coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq Ocaml version

From: CYRIL SIX <cyril.six AT univ-grenoble-alpes.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq Ocaml version
Date: Thu, 14 Mar 2019 13:04:26 +0100 (CET)
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cyril.six AT univ-grenoble-alpes.fr; spf=Pass smtp.mailfrom=cyril.six AT univ-grenoble-alpes.fr; spf=None smtp.helo=postmaster AT zm-mta-out-1.u-ga.fr
Ironport-phdr: 9a23:G7F9aRK3sQXGSI7bUdmcpTZWNBhigK39O0sv0rFitYgeKf7xwZ3uMQTl6Ol3ixeRBMOHsqoC07OempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffhlEiCChbb9vMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhikHOTAn82/YiMJwgr9Urx29phxxxJLUbZqPO/ZiYqzQZ8kXSXZDU8tXSidPApm8b4wKD+cZI+tXrZXzqVgIoxCjGAeiB+LgwSJPi3Dq3aw6yeUhEQXc0Aw7HtIPv2/ZrMjzNKcTT+C51abIzS/dYPNQ3jfy84zIfQ44rf6WWbJwadTeyVI1GwPLlFWdsIroNC6b2OQKtmiU9etgVeS3hm4gtw5+uD2vxsM2honOnIIVxVbJ/jh6zoYtPdC0VU52bcC+HJZStSyWLZV6Tt8+T21yuCs3y6UKtYOlcCUO0pgqxB3SZ+aIfoWG+B7uVOecLS9liH9lZr6znRS//Eq6xuHiSsW4zExGoytDn9LRrH4CzQbT5dKCSvZl/keuxzKP1wfL5+BFJEA4jK/bK4I7zbIpkZoTrFjDEjbrlEnska+ab0ok9fKy5+TpeLXqvp6cN4lqhQHiKqkih8yyDfoiPgUMXWWX4/qw2KH/8UHjQLhHj+U6kqzDv5DbIcQbqLS5AwhQ0os79xm+Dy2m0NUcnXUdN1JFeR2GgpP0O1HIIfD4E+6zg1u2kDh1wfDGOabuApHTIXTairjhea595FBHyAYpw9Bf/YpYCqsdL/LrRk/xqNvYAwclPAyz2ubrEcly1ocDWW2UGaKZK6PTsVqQ5u01OeWMZYkVuCz8K/c//fLug2U5yhchevyi2oJSY3SlFNxnJV+YaDzimIQvC2AP6yEPds3OwGajYXYHbGeoXqZ6/TArIJ+gDJmGSZqghruL2Cr+F5lOa3sABEraQiSgTJmNR/pZMHHaGcRmiDFRDeHwGb9k7gmnsUrB85QiK+PV/iMCspe5iIpo4ezN0B4o+DpzBcCQlmiJV2xv2G0SFWZvgPJP5Hdlw1LG6pBWxuRCHIYPte5PUxl/OoTRyetwD923UwbZc8zPRkz0Goz7UwF0dco4xpo1W2g4G9imiUqZjTivRroJnvmMGYBxq+TBmnf4YchnmS7L

Hello,

According to https://opam.ocaml.org/packages/coq/coq.8.9.0/, any OCaml build >= 4.02.3 would do

Cyril S

De: "Laurent Thery" <Laurent.Thery AT inria.fr>
À: coq-club AT inria.fr
Envoyé: Jeudi 14 Mars 2019 12:59:49
Objet: [Coq-Club] Coq Ocaml version

Hi,

what is the recommended Ocaml version for Coq 8.9?

Thanks.

--
Laurent

[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