Build:
- 0
2026-04-14 20:43.38: New job: test vscoq-language-server.2.4.1, using opam 2.1
from https://github.com/ocaml/opam-repository.git#refs/pull/29727/head (3a98499440a18677c23b322ce29f3753d3a879e4)
on debian-13-ocaml-5.4/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29727/head" && git reset --hard 3a984994
git fetch origin master
git merge --no-edit f678dc33da130c2c6abccb24c5f8ffdd5c9045f0
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:a447b546feb1d9aedc90fda889d688eb9be4d3bdea086d5b2f4f59f38f224ef4
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn vscoq-language-server.2.4.1 2.4.1
RUN opam reinstall vscoq-language-server.2.4.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'vscoq-language-server.2.4.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test vscoq-language-server.2.4.1) || true
RUN opam reinstall --with-test --verbose vscoq-language-server.2.4.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'vscoq-language-server.2.4.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-04-14 20:43.38: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:a447b546feb1d9aedc90fda889d688eb9be4d3bdea086d5b2f4f59f38f224ef4-vscoq-language-server.2.4.1-3a98499440a18677c23b322ce29f3753d3a879e4"
2026-04-14 20:43.38: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:a447b546feb1d9aedc90fda889d688eb9be4d3bdea086d5b2f4f59f38f224ef4)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn vscoq-language-server.2.4.1 2.4.1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall vscoq-language-server.2.4.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'vscoq-language-server.2.4.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test vscoq-language-server.2.4.1) || true"))
(run (shell "opam reinstall --with-test --verbose vscoq-language-server.2.4.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'vscoq-language-server.2.4.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-04-14 20:43.38: Waiting for resource in pool OCluster
2026-04-14 20:43.40: Waiting for worker…
2026-04-14 20:43.40: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at f678dc33da Merge pull request #29723 from eponier/jasmin.2026.03.1
Merge made by the 'ort' strategy.
.../vscoq-language-server.2.4.1/opam | 21 +++++++++
.../vsrocq-language-server.2.4.1/opam | 50 ++++++++++++++++++++++
2 files changed, 71 insertions(+)
create mode 100644 packages/vscoq-language-server/vscoq-language-server.2.4.1/opam
create mode 100644 packages/vsrocq-language-server/vsrocq-language-server.2.4.1/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:a447b546feb1d9aedc90fda889d688eb9be4d3bdea086d5b2f4f59f38f224ef4)
2026-04-14 20:44.44 ---> using "650db199dd47c38a0926a758262f0be95fb78e2d9a79cbdc2809fa2b15683d52" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2026-04-14 20:44.44 ---> using "4fef60b61d76a56ca43459ac169bde4a1cc96febbb8a4ccec370bb558b281448" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-04-14 20:44.44 ---> using "4cc75ee6e2af5ade20787e56e36f64d083773b55e1d15ef4b80dc0ce73a3e6c2" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.1.6 (263921263e1f745613e2882745114b7b08f3608b)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria
# upgrade-criteria
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.1
2026-04-14 20:44.44 ---> using "ef276233f5b00b5f5d0cc21aa7f59bc1ae020b02a3dd1c22ddbf387a23de5a0c" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-04-14 20:44.44 ---> using "6bc7335d313794d077c6ce084f8542a8ac35a181b95e93da0a3260343eb10541" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-04-14 20:44.51 ---> saved as "cd30b2923d3746660e0705cd168d7ba02536460aad1a09fe8ba4581ecd7f325c"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-04-14 20:45.01 ---> saved as "ae8c1f0bb1778b3e0d11fb81fc2cf1473de3ab1f1bd09a5f8da6f7c0d0bf5653"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [123 kB]
- Fetched 213 kB in 0s (1779 kB/s)
- Reading package lists...
2026-04-14 20:45.02 ---> saved as "728c842385e87ebefa5d0e0f14d1038e38e84cf9e9918692f80590b073a7cf9f"
/home/opam: (run (shell "opam pin add -k version -yn vscoq-language-server.2.4.1 2.4.1"))
vscoq-language-server is now pinned to version 2.4.1
2026-04-14 20:45.03 ---> saved as "184182505bc2ca57e98d8022f61983e64b705908e1b2314e33b726597c0d635d"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall vscoq-language-server.2.4.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'vscoq-language-server.2.4.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
vscoq-language-server.2.4.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
- install ocamlbuild 0.16.1 [required by uutf]
- install dune 3.22.2 [required by vsrocq-language-server]
- install conf-linux-libc-dev 0 [required by rocq-runtime]
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install num 1.6 [required by sexplib]
- install ocamlfind 1.9.8 [required by vsrocq-language-server]
- install yojson 3.0.0 [required by vsrocq-language-server]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install sexplib0 v0.17.0 [required by sexplib]
- install result 1.5 [required by vsrocq-language-server]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install octavius 1.2.2 [required by ppx_js_style]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install jane-street-headers v0.17.0 [required by time_now]
- install csexp 1.5.2 [required by dune-configurator]
- install cppo 1.8.0 [required by ppx_deriving]
- install zarith 1.14 [required by rocq-runtime]
- install topkg 1.1.1 [required by uutf]
- install ppx_yojson_conv_lib v0.17.0 [required by lsp, ppx_yojson_conv]
- install jsonrpc 1.26.0-5.5~preview [required by vsrocq-language-server]
- install parsexp v0.17.0 [required by sexplib]
- install ppxlib 0.38.0 [required by ppx_inline_test, ppx_deriving, ppx_assert, etc.]
- install dune-configurator 3.22.2 [required by base]
- install rocq-runtime 9.2.0 [required by coq-core, rocq-core]
- install uutf 1.0.4 [required by lsp]
- install sexplib v0.17.0 [required by vsrocq-language-server]
- install ppxlib_jane v0.17.4 [required by ppx_compare, ppx_sexp_conv]
- install ppx_import 1.12.0 [required by vsrocq-language-server]
- install ppx_deriving 6.1.1 [required by vsrocq-language-server]
- install base v0.17.3 [required by ppx_inline_test, ppx_assert, ppx_yojson_conv]
- install rocq-core 9.2.0 [required by vsrocq-language-server]
- install coq-core 9.2.0 [required by vsrocq-language-server]
- install lsp 1.26.0-5.5~preview [required by vsrocq-language-server]
- install sel 0.8.0 [required by vsrocq-language-server]
- install stdio v0.17.0 [required by ppx_optcomp]
- install ppx_sexp_conv v0.17.1 [required by vsrocq-language-server]
- install ppx_js_style v0.17.1 [required by ppx_yojson_conv]
- install ppx_here v0.17.0 [required by ppx_assert]
- install ppx_globalize v0.17.2 [required by ppx_base]
- install ppx_enumerate v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_assert]
- install ppx_cold v0.17.0 [required by ppx_assert]
- install ppx_optcomp v0.17.1 [required by vsrocq-language-server]
- install ppx_yojson_conv v0.17.1 [required by vsrocq-language-server]
- install ppx_hash v0.17.0 [required by ppx_base]
- install ppx_assert v0.17.0 [required by vsrocq-language-server]
- install ppx_base v0.17.0 [required by time_now]
- install jst-config v0.17.0 [required by time_now]
- install time_now v0.17.0 [required by ppx_inline_test]
- install ppx_inline_test v0.17.1 [required by vsrocq-language-server]
- install vsrocq-language-server 2.4.1 [required by vscoq-language-server]
- install vscoq-language-server 2.4.1*
===== 54 to install =====
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20654 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u2) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved base.v0.17.3 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved coq-core.9.2.0 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-linux-libc-dev.0
-> retrieved dune.3.22.2 (cached)
-> retrieved dune-configurator.3.22.2 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved jsonrpc.1.26.0-5.5~preview (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved lsp.1.26.0-5.5~preview (cached)
-> retrieved num.1.6 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved octavius.1.2.2 (cached)
-> retrieved parsexp.v0.17.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.1.1 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.2 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_import.1.12.0 (cached)
-> retrieved ppx_inline_test.v0.17.1 (cached)
-> retrieved ppx_js_style.v0.17.1 (cached)
-> retrieved ppx_optcomp.v0.17.1 (cached)
-> retrieved ppx_sexp_conv.v0.17.1 (cached)
-> retrieved ppx_yojson_conv.v0.17.1 (cached)
-> retrieved ppx_yojson_conv_lib.v0.17.0 (cached)
-> retrieved ppxlib.0.38.0 (cached)
-> retrieved ppxlib_jane.v0.17.4 (cached)
-> retrieved result.1.5 (cached)
-> retrieved rocq-core.9.2.0 (cached)
-> installed num.1.6
-> retrieved rocq-runtime.9.2.0 (cached)
-> retrieved sel.0.8.0 (cached)
-> retrieved sexplib.v0.17.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved time_now.v0.17.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved vscoq-language-server.2.4.1 (cached)
-> retrieved vsrocq-language-server.2.4.1 (cached)
-> retrieved yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed uutf.1.0.4
-> installed dune.3.22.2
-> installed csexp.1.5.2
-> installed cppo.1.8.0
-> installed jane-street-headers.v0.17.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ppx_derivers.1.2.1
-> installed result.1.5
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed octavius.1.2.2
-> installed yojson.3.0.0
-> installed jsonrpc.1.26.0-5.5~preview
-> installed ppx_yojson_conv_lib.v0.17.0
-> installed dune-configurator.3.22.2
-> installed parsexp.v0.17.0
-> installed sexplib.v0.17.0
-> installed base.v0.17.3
-> installed lsp.1.26.0-5.5~preview
-> installed stdio.v0.17.0
-> installed ppxlib.0.38.0
-> installed ppx_optcomp.v0.17.1
-> installed ppxlib_jane.v0.17.4
-> installed ppx_cold.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_js_style.v0.17.1
-> installed ppx_import.1.12.0
-> installed ppx_deriving.6.1.1
-> installed ppx_compare.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.2
-> installed ppx_sexp_conv.v0.17.1
-> installed sel.0.8.0
-> installed ppx_yojson_conv.v0.17.1
-> installed ppx_hash.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_base.v0.17.0
-> installed jst-config.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_inline_test.v0.17.1
-> installed rocq-runtime.9.2.0
-> installed coq-core.9.2.0
-> installed rocq-core.9.2.0
-> installed vsrocq-language-server.2.4.1
-> installed vscoq-language-server.2.4.1
Done.
<><> coq-core.9.2.0 installed successfully ><><><><><><><><><><><><><><><><><><>
=> Coq has been renamed to The Rocq Prover, see https://rocq-prover.org/refman/changes.html#porting-to-the-rocq-prover for details.
This package provides compatibility binaries to ease the transition to the new rocq binary.
# Run eval $(opam env) to update the current shell environment
2026-04-14 20:54.51 ---> saved as "2ca83e1cc24ec856abb33a99e508b5dcb9d32ba610d42092eed7074078c32753"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test vscoq-language-server.2.4.1) || true"))
The following actions will be performed:
- recompile vscoq-language-server 2.4.1*
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved vscoq-language-server.2.4.1 (https://github.com/rocq-prover/vsrocq/releases/download/v2.4.1/vsrocq-language-server-2.4.1.tar.gz)
-> removed vscoq-language-server.2.4.1
-> installed vscoq-language-server.2.4.1
Done.
# Run eval $(opam env) to update the current shell environment
2026-04-14 21:02.00 ---> saved as "3e8980785710a15240852fab36f9db45e756ed4e8d4a93bc6131d90009f5d93d"
/home/opam: (run (shell "opam reinstall --with-test --verbose vscoq-language-server.2.4.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'vscoq-language-server.2.4.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
- recompile vscoq-language-server 2.4.1*
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4:
-> retrieved vscoq-language-server.2.4.1 (cached)
-> removed vscoq-language-server.2.4.1
-> installed vscoq-language-server.2.4.1
Done.
# Run eval $(opam env) to update the current shell environment
2026-04-14 21:09.10 ---> saved as "a4c69daf1fc7ff3eb7383c9f5908668351feeb192823ce124507d093396a9b95"
Job succeeded
2026-04-14 21:09.18: Job succeeded