coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq with OCaml-4.08.0

From: mukesh tiwari <mukeshtiwari.iiitm AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq with OCaml-4.08.0
Date: Sun, 23 Jun 2019 19:59:20 +1000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mukeshtiwari.iiitm AT gmail.com; spf=Pass smtp.mailfrom=mukeshtiwari.iiitm AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f49.google.com
Ironport-phdr: 9a23:5BJ9pBaR4zfwg+cYnrybO3r/LSx+4OfEezUN459isYplN5qZoMuzbnLW6fgltlLVR4KTs6sC17OM9fm4EjZbqdbZ6TZeKcUKD0dEwewt3CUYSPafDkP6KPO4JwcbJ+9lEGFfwnegLEJOE9z/bVCB6le77DoVBwmtfVEtfre9FYHdldm42P6v8JPPfQpImCC9YbRvJxmqsAndrMYbjZZ8Jqor1xfFvnREd/pYyGh1IV6fgwvw6t2/8ZJ+7ihcoe4t+9JFXa7nY6k2ULtUASg8PWso/sPrrx7DTQWO5nsYTGoblwdDDhbG4h/nQJr/qzP2ueVh1iaUO832Vq00Vi+576h3Uh/oiTwIOCA//WrKl8F/lqNboBampxxi347ZZZyeOfRicq/Be94RWGxMVdtTWSNcGIOxd4QAAeoPM+hbsofzuUcBoxSlCAmwHePi0CNEimPq0aA41ekqDAHI3BYnH9ILqHnUqcj1NKQMXuCuzKnD0CnDb/JY2Djn8ojIcw0qrPaJXbJtcsre11IvFwPZjlWRp43qJSmV1uUXv2ia7upgVP6vi2s8pgF+pzig3MYsio3Tio0JzVDE8Dx0zYAoLtO7UE52ecCoHIdUui2ANIZ7QtkuT392tCon0LELtpq2cS4Xw5o93RHfceaIc42Q7xLjSumRJTB4iWpgeL2lhhay9VGsy+PmVsWpyVpKoCVIn93WunAC0BzT7ceHSv9j8Uu7xTmP0AXT5vlFIUAyi6XbN4YszqAsmpcXq0jOHS/7lF/ogKOIa0ko4Oel5uD/brXjvJCcNot0ig/kMqQpn8yyGeE4MhUNX2eF4uS81KHj/Uz3QbpQlP02k7PVsJHbJcQauq65BhRY0okm6xmlDjem1M4UkmUALFJAYB6HlZTmO0nSIPDkCveym0ijkDByx/zfIrLhBojNIWPYnbf6fbd97lZcxxApwdBe4ZJUELABL+jpVk//rtyLRiM+Zgez2qPsDMh3/oIYQ2OGRKGDY43Itlrd4/8sLvKMLJMUpz/nKrBx4uPtgGQ5hV4CdLOom5oWaWy9NvtjKkSdJ3Hrh4FSQi8xogMiQbmy2xW5WjlJaiPqBv9u1nQAEIujSLz7aMWtjbiGhnrpG5RXYiVZEAnJHyu5MYqDXPgIZWSZJcozymVVB4jkcJco0FSVjCG/zrNmKuTO/ShB7MDs0dF046vYkhRgrGUoXfTY6HmESiRPpk1NXyU/hfktrkl0y1PF2q990aRV

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