search

coq-community / docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
https://hub.docker.com/r/coqorg/coq/
BSD 3-Clause "New" or "Revised" License
37 stars 3 forks source link

fix(coqorg/coq:8.7*): coq-serapi is not coinstallable with coq 8.7 #33

Closed erikmd closed 3 years ago

erikmd commented 3 years ago

Follow-up of #31

erikmd commented 3 years ago

Just FTR, see https://gitlab.com/coq-community/docker-coq/-/jobs/1582944353 :

+ opam install -y -v -j 2 coq coq-native coq-bignums coq-serapi
The following dependencies couldn't be met:
  - coq-serapi -> coq >= 8.8.0
      not available because the package is pinned to version 8.7.2
  - coq-serapi -> ocaml < 4.07.0
      base of this switch (use `--unlock-base' to force)
  - coq-serapi -> ppx_driver >= v0.10.1 -> ppxlib < 0.3.0 -> ocaml < 4.08.0
      base of this switch (use `--unlock-base' to force)
  - coq-serapi -> ppx_driver >= v0.10.1 -> ppx_optcomp < v0.11 -> ocaml < 4.04.0
      base of this switch (use `--unlock-base' to force)
  - coq-serapi -> ppx_driver >= v0.10.1 -> ppx_optcomp < v0.11 -> ppx_core < v0.11 -> ocaml < 4.06.0
      base of this switch (use `--unlock-base' to force)
  - coq-serapi -> ppx_driver >= v0.10.1 -> ppx_optcomp < v0.11 -> ppx_core < v0.11 -> base < v0.11 -> ocaml < 4.07.0
      base of this switch (use `--unlock-base' to force)
  - coq-serapi -> ppx_driver >= v0.10.1 -> ppx_core < v0.11 -> base < v0.11 -> ocaml < 4.07.0
      base of this switch (use `--unlock-base' to force)
  - coq-serapi -> ppx_driver >= v0.10.1 -> ppx_core < v0.11 -> ocaml < 4.06.0
      base of this switch (use `--unlock-base' to force)
No solution found, exiting

while all other jobs of the child pipeline were OK with coq ≥ 8.8:

https://gitlab.com/coq-community/docker-coq/-/pipelines/369291152