coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Gaëtan Gilbert <gaetan.gilbert AT skyskimmer.net>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq with OCaml-4.08.0
Date: Mon, 24 Jun 2019 11:58:40 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gaetan.gilbert AT skyskimmer.net; spf=Pass smtp.mailfrom=gaetan.gilbert AT skyskimmer.net; spf=None smtp.helo=postmaster AT relay8-d.mail.gandi.net
Ironport-phdr: 9a23:z/5BBR0C7JmqAUUWsmDT+DRfVm0co7zxezQtwd8ZseIQL/ad9pjvdHbS+e9qxAeQG9mCsbQd0aGM6+igATVGvc/Y9ihaMdRlbFwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+IA+5oAnMqMUam5ZuJrg+xhfXvndDZuBayX91KV6JkBvw+9q88IR//yhMvv4q6tJNX7j9c6kkV7JTES4oM3oy5M3ltBnDSRWA634BWWgIkRRGHhbI4gjiUpj+riX1uOx92DKHPcLtVrA7RS6i76ZwRxD2jioMKiM0/3vWisx0i6JbvQ6hqhliyIPafI2ZKPxzdb7bcNgHR2ROQ9xRWjRcDI2iYYsBD+kPM+hWoIbypVQBsRSwCBKwBO7s0DJEmmP60KM43uknDArI3BYgH9ULsHnMrdv6LrsVUfyvw6nO1TrNbvJW2TPm54fWaBAhveyHULV/ccXL10YvCxnKjlOKpYzqPjOV0v8CvHaB7+p8Tu+vkG0nqgFqojisx8csj4zJiZwPylze8yV23po1KMS+RUVmb9CkF55QuDubN4twWs4iTGBouDo6yr0bopG3ZjQFyJMixxPZdveJcJCI7wr9WOqMIzp0nnBodK6lixqv8kWtxPfwWteo3FpXtiZJj9fBu38X2xDO7sWLUOZx80Wl1DqVygze6+9JLEYpnqTBMZEh2KQ/lp8LvETDACD2nEL2gbeMdko6/uin8eTmb7b/qpCBLYN0jxvxMqUqmsClDuQ3KA4OUHWa+eim0r3s41H5TK1Ljv0wjKbZrIjXKdoGqqO7GQNY0Jov5wyiAzql3tkUh2cLIE5YdB6fiojmIVDOIPT2DfelhFSslS9mx//cMbL/HpXCNH7DnK3ufbZ8705T0xQ8zcpD559PEbEBI/LyWlTytNzZCx85NhK7w/z9BNV7yIweRXqDArWFP6PKrV+I+uUvLvGQa48SoTbxMuQq5/rzjXAiglIdZqmo3Z4PaH+iBPhmIkOZYWDtgtgbC2sKsBA+H6TWjwiJVicWbHKvVYo94Cs6AcSoF9TtXIeo1ZOIXzuyGKp5Z2RMB0qQWSPnfoiYUvFKZyOWKMJ7jhQfVqm6SI4k0By08gn31+w0faLv5iQEuMe7h5BO7OrJmERqrGEmP4Gmy2iIClpMsCYISjsxhv0tu0F5w0bTlKQ+hvVZEZpc7vVFU0E8OIKOl7UrWeC3YRrIe5KycHjjR9ynBT8rSddonY0VYFdmGNSnix3ZmSynH+1MzuDZNNkP6qvZmkPJCYNl0X+fivs6jEg9QcpKMGC8wKhy61qLCg==

That's about removing deprecation warnings IIUC

Gaëtan Gilbert

On 24/06/2019 11:50, Vincent Laporte wrote:

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.

[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