search

uwplse / cheerios

Formally verified Coq serialization library with support for extraction to OCaml
BSD 2-Clause "Simplified" License
23 stars 5 forks source link

readme says coq-cheerios is compatible with coq version above 8.14 but it fails to opam install with 8.15, why? #18

Closed brando90 closed 1 year ago

brando90 commented 1 year ago

code I ran:

(iit_synthesis) brando9~ $ eval $(opam env --switch=coq-8.10 --set-switch)
(iit_synthesis) brando9~ $ opam install -y coq-cheerios

[ERROR] Package conflict!
  * Missing dependency:
    - coq >= 8.14
    not available because the package is pinned to version 8.10.2

No solution found, exiting
palmskog commented 1 year ago

I don't see the issue here, since it clearly says your Coq version is 8.10.2 and not 8.15.

brando90 commented 1 year ago

I don't see the issue here, since it clearly says your Coq version is 8.10.2 and not 8.15.

issue is that this project overwrite the official OPAM repository code.