opam
opam copied to clipboard
coq
Version constraints on rocq-hierarchy-builder.1.9.1 are incorrect for Coq 8.19
Running in mathcomp/mathcomp:1.19.0-coq-8.19:
2025-11-03T21:28:39.9925517Z #=== ERROR while compiling rocq-hierarchy-builder.1.9.1 =======================#
2025-11-03T21:28:39.9926455Z # context 2.3.0 | linux/x86_64 | ocaml-option-flambda.1 ocaml-variants.4.14.2+options | https://coq.inria.fr/opam/released#2025-08-14 12:33
2025-11-03T21:28:39.9927343Z # path ~/.opam/4.14.2+flambda/.opam-switch/build/rocq-hierarchy-builder.1.9.1
2025-11-03T21:28:39.9928106Z # command /usr/bin/make build
2025-11-03T21:28:39.9928677Z # exit-code 2
2025-11-03T21:28:39.9929060Z # env-file ~/.opam/log/rocq-hierarchy-builder-14-95ad77.env
2025-11-03T21:28:39.9929594Z # output-file ~/.opam/log/rocq-hierarchy-builder-14-95ad77.out
2025-11-03T21:28:39.9930006Z ### output ###
2025-11-03T21:28:39.9930320Z # Warning: in file HB/structures.v, library locker is required
2025-11-03T21:28:39.9930704Z # [...]
2025-11-03T21:28:39.9930945Z # [module-not-found,filesystem,default]
2025-11-03T21:28:39.9931283Z # COQC HB/structures.v
2025-11-03T21:28:39.9931580Z # File "./HB/structures.v", line 17, characters 0-30:
2025-11-03T21:28:39.9932019Z # Error: Cannot find a physical path bound to logical path
2025-11-03T21:28:39.9932413Z # elpi with prefix elpi.
2025-11-03T21:28:39.9932647Z #
2025-11-03T21:28:39.9932871Z # make[2]: *** [Makefile.coq:848: HB/structures.vo] Error 1
2025-11-03T21:28:39.9933263Z # make[2]: *** [HB/structures.vo] Deleting file 'HB/structures.glob'
2025-11-03T21:28:39.9933623Z # make[1]: *** [Makefile.coq:417: all] Error 2
2025-11-03T21:28:39.9934140Z # make[1]: Leaving directory '/home/coq/.opam/4.14.2+flambda/.opam-switch/build/rocq-hierarchy-builder.1.9.1'
2025-11-03T21:28:39.9934667Z # make: *** [Makefile:120: this-build] Error 2
2025-11-03T21:28:39.9934863Z
2025-11-03T21:28:41.5730196Z
2025-11-03T21:28:41.5730215Z
2025-11-03T21:28:41.5730820Z <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
2025-11-03T21:28:41.5735033Z +- The following actions were aborted
2025-11-03T21:28:41.5735705Z | - install coq-hierarchy-builder 1.9.1
2025-11-03T21:28:41.5736125Z | - install coq-mathcomp-analysis 0.7.0
2025-11-03T21:28:41.5736610Z | - install coq-mathcomp-classical 0.7.0
2025-11-03T21:28:41.5737045Z +-
2025-11-03T21:28:41.5737377Z +- The following actions failed
2025-11-03T21:28:41.5737854Z | - build rocq-hierarchy-builder 1.9.1
2025-11-03T21:28:41.5738333Z +-
2025-11-03T21:28:41.5739145Z +- The following changes have been performed (the rest was aborted)
2025-11-03T21:28:41.5739889Z | - downgrade yojson 3.0.0 to 2.2.2
2025-11-03T21:28:41.5740547Z | - recompile coq-serapi 8.19.0+0.19.3
2025-11-03T21:28:41.5741122Z | - recompile ppx_deriving_yojson 3.9.1
2025-11-03T21:28:41.5741485Z | - install atd 2.16.0
2025-11-03T21:28:41.5741824Z | - install atdgen 2.15.0
2025-11-03T21:28:41.5742173Z | - install atdgen-runtime 2.16.0
2025-11-03T21:28:41.5742501Z | - install atdts 2.16.0
2025-11-03T21:28:41.5742773Z | - install biniou 1.2.2
2025-11-03T21:28:41.5743047Z | - install camlp-streams 5.0.1
2025-11-03T21:28:41.5743334Z | - install conf-g++ 1.0
2025-11-03T21:28:41.5743600Z | - install coq-compcert 3.15
2025-11-03T21:28:41.5743862Z | - install coq-coquelicot 3.4.4
2025-11-03T21:28:41.5744326Z | - install coq-elpi 2.2.3
2025-11-03T21:28:41.5744981Z | - install coq-flocq 4.2.1
2025-11-03T21:28:41.5745669Z | - install coq-interval 4.11.3
2025-11-03T21:28:41.5746525Z | - install coq-mathcomp-algebra-tactics 1.1.1
2025-11-03T21:28:41.5747092Z | - install coq-mathcomp-bigenough 1.0.2
2025-11-03T21:28:41.5747596Z | - install coq-mathcomp-finmap 1.5.2
2025-11-03T21:28:41.5748060Z | - install coq-mathcomp-zify 1.3.0+1.12+8.13
2025-11-03T21:28:41.5748569Z | - install coq-menhirlib 20240715
2025-11-03T21:28:41.5748887Z | - install coq-record-update 0.3.4
2025-11-03T21:28:41.5749163Z | - install coq-vcfloat 2.3
2025-11-03T21:28:41.5749427Z | - install coq-vst 2.15
2025-11-03T21:28:41.5749699Z | - install coq-vst-lib 2.15.1
2025-11-03T21:28:41.5749969Z | - install coq-vst-zlist 2.13
2025-11-03T21:28:41.5750416Z | - install easy-format 1.3.4
2025-11-03T21:28:41.5750679Z | - install elpi 1.19.6
2025-11-03T21:28:41.5750937Z | - install menhir 20240715
2025-11-03T21:28:41.5751209Z | - install menhirCST 20240715
2025-11-03T21:28:41.5751472Z | - install menhirLib 20240715
2025-11-03T21:28:41.5751729Z | - install menhirSdk 20240715
2025-11-03T21:28:41.5752009Z | - install ppx_optcomp v0.16.0
2025-11-03T21:28:41.5752281Z | - install re 1.13.2
2025-11-03T21:28:41.5752545Z | - install seq base
2025-11-03T21:28:41.5752800Z | - install stdio v0.16.0
2025-11-03T21:28:41.5753038Z +-
2025-11-03T21:28:41.5753135Z
https://productionresultssa11.blob.core.windows.net/actions-results/a42ff28f-fef3-43e9-b59b-7564a27597d8/workflow-job-run-e2ce9dd2-9ec8-5a01-801a-25e199cee702/logs/job/job-logs.txt?rsct=text%2Fplain&se=2025-11-03T22%3A36%3A48Z&sig=BED4bbeg7EMuXbvdz3rT2tF%2FT3HyjUbV7O9GHU1txtk%3D&ske=2025-11-04T08%3A14%3A30Z&skoid=ca7593d4-ee42-46cd-af88-8b886a2f84eb&sks=b&skt=2025-11-03T20%3A14%3A30Z&sktid=398a6654-997b-47e9-b12b-9515b896b4de&skv=2025-11-05&sp=r&spr=https&sr=b&st=2025-11-03T22%3A26%3A43Z&sv=2025-11-05
