Stream: Coq users

Topic: which ocaml has coq version 8.11.2


view this post on Zulip Sheldon Huang (Feb 10 2024 at 04:21):

I am following the tutorial from this Program and Proof, I found that it requires coq version, so I try to create a opam switch, but I can't

view this post on Zulip Sheldon Huang (Feb 10 2024 at 04:22):

image.png
I try to do opam switch list-available but how can I know which ocaml has coq version 8.11.2?
image.png

view this post on Zulip Li-yao (Feb 10 2024 at 10:47):

If you do opam info coq.8.11.2 you can see that it depends on ocaml < 4.12, so the latest compatible ocaml is 4.11.2, so you can try opam switch create 4.11.2.

view this post on Zulip Michael Soegtrop (Feb 10 2024 at 11:31):

If there is demand, I can add a Coq 8.11.2 pick to Coq Platform - I asked a few times and up to now there wasn't demand.

view this post on Zulip Sheldon Huang (Feb 10 2024 at 11:31):

Li-yao said:

If you do opam info coq.8.11.2 you can see that it depends on ocaml < 4.12, so the latest compatible ocaml is 4.11.2, so you can try opam switch create 4.11.2.

Thank you so much Li-yao, this command works :+1:


Last updated: Jun 22 2024 at 15:01 UTC