coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq with OCaml-4.08.0

From: Vincent Laporte <vincent.laporte AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq with OCaml-4.08.0
Date: Mon, 24 Jun 2019 09:50:29 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vincent.laporte AT gmail.com; spf=Pass smtp.mailfrom=vincent.laporte AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f48.google.com
Ironport-phdr: 9a23:wNYeqBHeD4E9mQ8AU4NT951GYnF86YWxBRYc798ds5kLTJ7zo86wAkXT6L1XgUPTWs2DsrQY0rCQ6vqrADxIoc7Y9ixbKdoUD15NoP5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanJVuJrwsxhfXrXdEZudbzn5sKV6Pghrw/Mi98IN+/yhKp/4t68tMWrjmcqolSrBVEC4oOH0v6s3xshnDQwqP5n8CXWgTjxFFHQvL4gzkU5noqif1ufZz1yecPc3tULA7Qi+i4LtxSB/pkygIKTg0+3zKh8NqjaJbpBWhpwFjw4PRfYqYOuZycr/bcNgHQ2dKQ8RfWDFbAo6kb4UBEvQPPehboYfzqVQBohmxChW3CePg1jNFnHj40bE03ukjFwzNwQwuH8gJsHTRtNj6O6YSUeapw6bWyzXDc+5d1zHn54jQdRAhu+2MUqxtesfW10kvFgXFgUmOpozjIzOZzOANvHKD7+pnT+Kvl3Aophp+ojiq3Mgsi43JipgJxVDD8CV02YA4LsC2Rk58ZN6rCppQtyeCOot5Q8MiX2FouDshxbEcpZG7ey0KxZI6zBDcc/yKa5aE7g7nWeqLIjp1hGhpdK+hixux60Stxe7xWtGp3FtEsyZJiMfAu3AC2hDJ98SKSuFx8lm91TuM0Q3Y9/tKLloulaXBLp4s2r4wmYQXsUTEBiL2nV/5jK6Sdkk99Omo7vnrbqzoppKTNIJ4kA7+MqMpmsywBeQ3LBICUHSc+eS5zLHj/Ev5T6tWjvAujKXVrJTXKd4Yq6O5GQNZz5gv5hWlAzqp09kUhXwHI0hEeBKDgYjpIVbOIPXgAPehglSslitkyO7APr39GJnNKmLMkK/mfbZn905T1hE+zd9a551OC7EBJOj/VVP2tNzdFhM5KRC7w/77CNVh0YMTQX6AAqiAMK/LrVCI4v8vLPKXaY8OuDf9LuAl6OT0gX84n18dZ6ip0oENZHC2BPQ1a3meNHHrm5IKFXoAlgs4Vu3jzlOYAhBJYHPnYaM67Tw9FMqCBJ/EXJygyOif3SGwE5tKIGRPEleWDXrAeICNWvNKYyWXdJwy2gcYXKSsHtdynSqlsxX3nuI+c7jkvxYAvJem7+Bbou3ekRZoqG5xBsWZln6IFiR6wjNOSDgx06Ry50d6zwXbiPQqs7ljDdVWoshxfEIiL5eFlr51DtnzXkTKedLbEA/3EOXjOik4S5cK+/FLZk98H9u4iRWahnilBrYUk/qAA5lmq68=
Openpgp: preference=signencrypt

Hello,

On 24/06/2019 09:45, Gaëtan Gilbert wrote:
> We can also wait until Coq 8.10 which doesn't use camlp5 ;)

I don’t think that Coq 8.10 can be built using OCaml 4.08. There is some
related discussion: https://github.com/coq/coq/pull/9635

--
Vincent.

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Coq with OCaml-4.08.0, mukesh tiwari, 06/23/2019
- Re: [Coq-Club] Coq with OCaml-4.08.0, Xuanrui Qi, 06/24/2019
  - Re: [Coq-Club] Coq with OCaml-4.08.0, Gaëtan Gilbert, 06/24/2019
    - Re: [Coq-Club] Coq with OCaml-4.08.0, Vincent Laporte, 06/24/2019
      - Re: [Coq-Club] Coq with OCaml-4.08.0, Gaëtan Gilbert, 06/24/2019
      - Re: [Coq-Club] Coq with OCaml-4.08.0, Emilio Jesús Gallego Arias, 06/24/2019