coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Xuanrui Qi <xqi01 AT cs.tufts.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq with OCaml-4.08.0
Date: Sun, 23 Jun 2019 23:06:52 -0700
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xqi01 AT cs.tufts.edu; spf=Pass smtp.mailfrom=xqi01 AT cs.tufts.edu; spf=None smtp.helo=postmaster AT vm-delivery1.eecs.tufts.edu
Ironport-phdr: 9a23:f3jF1RNUxljxgEcNbuol6mtUPXoX/o7sNwtQ0KIMzox0Lfr4rarrMEGX3/hxlliBBdydt6sezbOP+Pm4AiRAuc/H7ClbNsQUFlcssoY/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbuv6FZTPgMupyuu854PcYxlShDq6fLh+MAi6oR/eu8ULn4duMLs9xgbGrndVZ+hby35jKVaPkxrh/Mu984Nv/zlKt/4968JMVLjxcrglQ7BfEDkoKX0+6tfxtRnEQwuP538cXXsTnxFVHQXL7wz0U4novCfiueVzxCeVPcvtTbApQjui9LtkSAXpiCgcKTE09nzch9Fqg6JapBKhoAF/w5LRbYqIOvdyYr/RcNUHTmdHQ81fVTFOApmkYoUMEuQPPfhWoYf/qFsAsRSxCwajCuz0xz9UhXL7x7E23/g7HAzE2gErAtIAsG7TrNXwLKodUP21w7POzTXZcvNW2Cr25pPJchs8pvyNUqtwccvNxUUyDA7Kkk6QpZb5PzOI2OQNr3Ob4/B+Wu2ylm4qsgd8qSWsyMc0koTFm4wYxkze+Sh4z4s5P8O0RUBhbdOqEpZcryCXOo9sTs8/QGxkpTw2xqMbtZKmZiQG1ZAqyh/ZZveaaYaH+AjjW/yUITpghHJqZra/hxGq/Ei+z+3wT9S730hOripEjNnDqGoN1hzO5sSdVPRy4Fuu2S2V2wDP9+FEL1w0lbHBJ5E/37Ewi4IfsUXFHiDohEX7lLKae0s49uSy6unqba/qqoGSOoNuhAzzMLwimsmlDuQ5NggOUXKb+eO51LD78kz5WbRKguErnqTCrJ/aPt4XprKkAw9bzoYj8AyzACm739QFhXUHNk5KeAqbj4j1PFHDOOz3DfCmg1i1jDhrw+3GMab6D5XWLnnDla/hcqxn505dzgoz19Ff6IhOBrEPOvKgEnP24dffF1oyNxG+6+fhEtR0kI0ECkyVBarMAL7bt0WV56oWIqHYdJYU4G/VIONj++PgkWR/lFMAK/r6laALYWy1S6w1a36SZmDh149YTDU6+zEmRemvs2WsFD5eY3HoDvAi43Q3BYanE4rZV9nrjbGKx2GnA5NKfSZLBk3eSS65JbXBYO8FbWepGuEklzUFUba7TIp4iUOlr0nm1rR7NazZ9jBK7Mu/hugw3PXakFQJzRIxF96Uij3fRHoygn4GWyRw0axi8xRw

It seems that we will have to wait until camlp5 supports 4.08.0.

Xuanrui

On Sun, 2019-06-23 at 19:59 +1000, mukesh tiwari wrote:
> I just updated my OCaml compiler, but I can't install the coq. I am
> wondering if there would be Coq version for OCaml-4.08.0.
>
> keep-learnings-MacBook-Pro:CoqUtility keep_learning$ opam list
> # Packages matching: installed
> # Name # Installed # Synopsis
> base-bigarray base
> base-threads base
> base-unix base
> ocaml 4.08.0 The OCaml compiler (virtual package)
> ocaml-base-compiler 4.08.0 Official release 4.08.0
> ocaml-config 1 OCaml Switch Configuration
> keep-learnings-MacBook-Pro:CoqUtility keep_learning$ opam install coq
> The following dependencies couldn't be met:
> - coq → camlp5 → ocaml < 4.08.0
> base of this switch (use `--unlock-base' to force)
> - coq → ocaml < 4.06.0
> base of this switch (use `--unlock-base' to force)
>
> No solution found, exiting
>
> Best,
> Mukesh

[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