- github
- ocaml
- opam-repository
- 982b04
- distributions,archlinux-ocaml-4.14,diffast.0.4
(not at the head of any monitored branch or PR)
2026-06-12 13:47.55: New job: build diffast.0.4, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/30013/head (982b04ef93a661d2359626d5ec2c24b5bcd0e02c)
on archlinux-ocaml-4.14/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/30013/head" && git reset --hard 982b04ef
git fetch origin master
git merge --no-edit 41657ef82daca3cc2f3c76fd0c9978b7950071ce
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:archlinux-ocaml-4.14@sha256:a7493eed336c1680996794df2c789c760716a9583adbb161453225685a888bfa
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /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 diffast.0.4 0.4
RUN opam reinstall diffast.0.4; \
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 "\"archlinux\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'diffast.0.4' && 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-06-12 13:47.55: Using cache hint "ocaml/opam:archlinux-ocaml-4.14@sha256:a7493eed336c1680996794df2c789c760716a9583adbb161453225685a888bfa-diffast.0.4-982b04ef93a661d2359626d5ec2c24b5bcd0e02c"
2026-06-12 13:47.55: Using OBuilder spec:
((from ocaml/opam:archlinux-ocaml-4.14@sha256:a7493eed336c1680996794df2c789c760716a9583adbb161453225685a888bfa)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /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 diffast.0.4 0.4"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall diffast.0.4;\
\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 \"\\\"archlinux\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'diffast.0.4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-06-12 13:47.55: Waiting for resource in pool OCluster
2026-06-12 18:41.22: Waiting for worker…
2026-06-12 18:45.26: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 41657ef82d Merge pull request #30025 from dinosaure/release-mcrunch-v0.0.3
Merge made by the 'ort' strategy.
packages/diffast-api/diffast-api.0.4/opam | 50 ++++++++++++++++
packages/diffast-cli/diffast-cli.0.4/opam | 52 ++++++++++++++++
packages/diffast-core/diffast-core.0.4/opam | 57 ++++++++++++++++++
packages/diffast-etc/diffast-etc.0.4/opam | 47 +++++++++++++++
packages/diffast-git-cli/diffast-git-cli.0.4/opam | 57 ++++++++++++++++++
packages/diffast-git/diffast-git.0.4/opam | 50 ++++++++++++++++
.../diffast-langs-common.0.4/opam | 52 ++++++++++++++++
.../diffast-langs-cpp-parsing-cli.0.4/opam | 50 ++++++++++++++++
.../diffast-langs-cpp-parsing.0.4/opam | 54 +++++++++++++++++
.../diffast-langs-cpp-spec.0.4/opam | 50 ++++++++++++++++
.../diffast-langs-cpp/diffast-langs-cpp.0.4/opam | 53 ++++++++++++++++
.../diffast-langs-fortran-parsing-cli.0.4/opam | 49 +++++++++++++++
.../diffast-langs-fortran-parsing.0.4/opam | 52 ++++++++++++++++
.../diffast-langs-fortran-spec.0.4/opam | 50 ++++++++++++++++
.../diffast-langs-fortran.0.4/opam | 53 ++++++++++++++++
.../diffast-langs-java-parsing-cli.0.4/opam | 49 +++++++++++++++
.../diffast-langs-java-parsing.0.4/opam | 52 ++++++++++++++++
.../diffast-langs-java-spec.0.4/opam | 50 ++++++++++++++++
.../diffast-langs-java/diffast-langs-java.0.4/opam | 53 ++++++++++++++++
.../diffast-langs-python-parsing-cli.0.4/opam | 49 +++++++++++++++
.../diffast-langs-python-parsing.0.4/opam | 52 ++++++++++++++++
.../diffast-langs-python-spec.0.4/opam | 50 ++++++++++++++++
.../diffast-langs-python.0.4/opam | 53 ++++++++++++++++
.../diffast-langs-verilog-parsing-cli.0.4/opam | 49 +++++++++++++++
.../diffast-langs-verilog-parsing.0.4/opam | 52 ++++++++++++++++
.../diffast-langs-verilog-spec.0.4/opam | 50 ++++++++++++++++
.../diffast-langs-verilog.0.4/opam | 53 ++++++++++++++++
packages/diffast-misc/diffast-misc.0.4/opam | 52 ++++++++++++++++
packages/diffast/diffast.0.4/opam | 70 ++++++++++++++++++++++
29 files changed, 1510 insertions(+)
create mode 100644 packages/diffast-api/diffast-api.0.4/opam
create mode 100644 packages/diffast-cli/diffast-cli.0.4/opam
create mode 100644 packages/diffast-core/diffast-core.0.4/opam
create mode 100644 packages/diffast-etc/diffast-etc.0.4/opam
create mode 100644 packages/diffast-git-cli/diffast-git-cli.0.4/opam
create mode 100644 packages/diffast-git/diffast-git.0.4/opam
create mode 100644 packages/diffast-langs-common/diffast-langs-common.0.4/opam
create mode 100644 packages/diffast-langs-cpp-parsing-cli/diffast-langs-cpp-parsing-cli.0.4/opam
create mode 100644 packages/diffast-langs-cpp-parsing/diffast-langs-cpp-parsing.0.4/opam
create mode 100644 packages/diffast-langs-cpp-spec/diffast-langs-cpp-spec.0.4/opam
create mode 100644 packages/diffast-langs-cpp/diffast-langs-cpp.0.4/opam
create mode 100644 packages/diffast-langs-fortran-parsing-cli/diffast-langs-fortran-parsing-cli.0.4/opam
create mode 100644 packages/diffast-langs-fortran-parsing/diffast-langs-fortran-parsing.0.4/opam
create mode 100644 packages/diffast-langs-fortran-spec/diffast-langs-fortran-spec.0.4/opam
create mode 100644 packages/diffast-langs-fortran/diffast-langs-fortran.0.4/opam
create mode 100644 packages/diffast-langs-java-parsing-cli/diffast-langs-java-parsing-cli.0.4/opam
create mode 100644 packages/diffast-langs-java-parsing/diffast-langs-java-parsing.0.4/opam
create mode 100644 packages/diffast-langs-java-spec/diffast-langs-java-spec.0.4/opam
create mode 100644 packages/diffast-langs-java/diffast-langs-java.0.4/opam
create mode 100644 packages/diffast-langs-python-parsing-cli/diffast-langs-python-parsing-cli.0.4/opam
create mode 100644 packages/diffast-langs-python-parsing/diffast-langs-python-parsing.0.4/opam
create mode 100644 packages/diffast-langs-python-spec/diffast-langs-python-spec.0.4/opam
create mode 100644 packages/diffast-langs-python/diffast-langs-python.0.4/opam
create mode 100644 packages/diffast-langs-verilog-parsing-cli/diffast-langs-verilog-parsing-cli.0.4/opam
create mode 100644 packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.4/opam
create mode 100644 packages/diffast-langs-verilog-spec/diffast-langs-verilog-spec.0.4/opam
create mode 100644 packages/diffast-langs-verilog/diffast-langs-verilog.0.4/opam
create mode 100644 packages/diffast-misc/diffast-misc.0.4/opam
create mode 100644 packages/diffast/diffast.0.4/opam
(from ocaml/opam:archlinux-ocaml-4.14@sha256:a7493eed336c1680996794df2c789c760716a9583adbb161453225685a888bfa)
2026-06-12 18:48.27 ---> using "ec782022b5287b6909060a77578527e13930235965ad79e84e764376ec0f288a" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-06-12 18:48.27 ---> using "ce3fc062a4511bf0e872a71c56bd7cebba775ea8b2ff960b208f7b2c9d023297" 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 version of opam requires an update to the layout of /home/opam/.opam from version 2.1 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 1 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=1 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-patches-overlay] no changes from git+https://github.com/ocurrent/opam-repository#patches
[default] no changes from git+file:///home/opam/opam-repository
2026-06-12 18:48.27 ---> using "3aabf41d5804842131c4e61ff2ef7f832552b8a3b7539847afc3b347916e8600" 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.5.1
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=arch os-version=20260531.0.538839
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 2 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.3"}]
# compiler-packages ocaml-base-compiler.4.14.3, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.3
2026-06-12 18:48.27 ---> using "dff096cc10f63e9afe1c20639dffee510ae76d65ef3440ad8b802876539d2444" 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-06-12 18:48.27 ---> using "aacbf8e5dfd019fdca8eddd08e411a227330aea9742d953b4590c95ea212489f" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-06-12 18:48.27 ---> using "e556cecf469bdbbee491aad198793fcdfa7fb3353212a6decaa1ad55ab652870" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-06-12 18:48.27 ---> using "99be1dbccbb6845b14eac1644bbea0d9d1384913b90ed0523ff9ec5bfdbeef00" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/sbin/sudo "pacman" "-Sy"
- :: Synchronizing package databases...
- core downloading...
- extra downloading...
2026-06-12 18:48.27 ---> using "8bb18822a0b2273c94d4e2deda9afeb76312a4c34ce7264bf7132b5a373fbb97" from cache
/home/opam: (run (shell "opam pin add -k version -yn diffast.0.4 0.4"))
diffast is now pinned to version 0.4
2026-06-12 18:48.28 ---> saved as "a7b46871d9848de841110c349aa8aee91b4977f9cbca783ab1030899dccb63d1"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall diffast.0.4;\
\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 \"\\\"archlinux\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'diffast.0.4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
diffast.0.4 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 153 packages
∗ angstrom 0.16.1 [required by git]
∗ arp 4.1.0 [required by tcpip]
∗ asn1-combinators 0.3.2 [required by x509]
∗ astring 0.8.5 [required by git-unix]
∗ awa 0.6.1 [required by git-mirage]
∗ awa-mirage 0.6.1 [required by git-mirage]
∗ base-bytes base [required by csv]
∗ base64 3.5.2 [required by diffast-core]
∗ bigstringaf 0.10.0 [required by git-unix]
∗ bos 0.3.0 [required by git-unix]
∗ bytesrw 0.3.0 [required by diffast-misc]
∗ ca-certs-nss 3.123.1 [required by git-mirage]
∗ camlp-streams 5.0.1 [required by diffast-langs-python-parsing, diffast-langs-fortran-parsing, diffast-core, etc.]
∗ carton 0.7.2 [required by git-unix]
∗ carton-git 0.7.2 [required by git]
∗ carton-lwt 0.7.2 [required by git]
∗ checkseum 0.5.3 [required by carton, git]
∗ cmdliner 2.1.1 [required by diffast-git-cli]
∗ conf-gmp 5 [required by conf-gmp-powm-sec, zarith]
∗ conf-gmp-powm-sec 4 [required by cryptokit]
∗ conf-pkg-config 4 [required by bytesrw]
∗ conf-zlib 1 [required by bytesrw, cryptokit]
∗ cppo 1.8.0 [required by diffast-langs-common]
∗ cryptokit 1.21.1 [required by diffast-misc]
∗ csexp 1.5.2 [required by dune-private-libs]
∗ cstruct 6.2.0 [required by git-unix]
∗ cstruct-lwt 6.2.0 [required by tcpip]
∗ csv 2.4 [required by diffast-core]
∗ decompress 1.5.3 [required by git-unix]
∗ diffast 0.4 (pinned)
∗ diffast-api 0.4 [required by diffast]
∗ diffast-cli 0.4 [required by diffast]
∗ diffast-core 0.4 [required by diffast]
∗ diffast-etc 0.4 [required by diffast]
∗ diffast-git 0.4 [required by diffast]
∗ diffast-git-cli 0.4 [required by diffast]
∗ diffast-langs-common 0.4 [required by diffast]
∗ diffast-langs-cpp 0.4 [required by diffast]
∗ diffast-langs-cpp-parsing 0.4 [required by diffast]
∗ diffast-langs-cpp-spec 0.4 [required by diffast]
∗ diffast-langs-fortran 0.4 [required by diffast]
∗ diffast-langs-fortran-parsing 0.4 [required by diffast]
∗ diffast-langs-fortran-spec 0.4 [required by diffast]
∗ diffast-langs-java 0.4 [required by diffast]
∗ diffast-langs-java-parsing 0.4 [required by diffast]
∗ diffast-langs-java-spec 0.4 [required by diffast]
∗ diffast-langs-python 0.4 [required by diffast]
∗ diffast-langs-python-parsing 0.4 [required by diffast]
∗ diffast-langs-python-spec 0.4 [required by diffast]
∗ diffast-langs-verilog 0.4 [required by diffast]
∗ diffast-langs-verilog-parsing 0.4 [required by diffast]
∗ diffast-langs-verilog-spec 0.4 [required by diffast]
∗ diffast-misc 0.4 [required by diffast]
∗ digestif 1.3.0 [required by git-unix]
∗ dns 10.2.5 [required by happy-eyeballs-lwt]
∗ dns-client 10.2.5 [required by dns-client-mirage]
∗ dns-client-mirage 10.2.5 [required by mimic-happy-eyeballs]
∗ domain-name 0.5.0 [required by git-unix]
∗ duff 0.5 [required by carton]
∗ dune 3.23.1 [required by diffast]
∗ dune-configurator 3.23.1 [required by bigstringaf]
∗ dune-private-libs 3.23.1 [required by dune-site]
∗ dune-site 3.23.1 [required by diffast-langs-python, diffast-langs-fortran, diffast-langs-cpp, etc.]
∗ duration 0.3.1 [required by happy-eyeballs-lwt]
∗ dyn 3.23.1 [required by dune-private-libs]
∗ emile 1.1 [required by git]
∗ encore 0.8.1 [required by git]
∗ eqaf 0.10 [required by digestif, awa]
∗ ethernet 3.2.0 [required by tcpip]
∗ faraday 0.8.2 [required by h1, paf]
∗ fmt 0.11.0 [required by diffast-git-cli]
∗ fpath 0.7.3 [required by git-unix]
∗ fs-io 3.23.1 [required by stdune]
∗ gen 1.1 [required by sedlex]
∗ git 3.18.0 [required by git-unix]
∗ git-mirage 3.18.0 [required by git-unix]
∗ git-paf 3.18.0 [required by git-mirage]
∗ git-unix 3.18.0 [required by diffast-git]
∗ gmap 0.3.0 [required by x509]
∗ h1 1.0.0 [required by git-paf]
∗ h2 0.13.0 [required by paf]
∗ happy-eyeballs 2.0.1 [required by git-mirage, happy-eyeballs-lwt]
∗ happy-eyeballs-lwt 2.0.1 [required by git-unix]
∗ happy-eyeballs-mirage 2.0.1 [required by git-mirage]
∗ hpack 0.13.0 [required by h2]
∗ httpun-types 0.2.0 [required by h1]
∗ hxd 0.5.0 [required by carton, git]
∗ ipaddr 5.6.2 [required by git-unix]
∗ ipaddr-cstruct 5.6.2 [required by tcpip]
∗ kdf 1.0.0 [required by x509]
∗ ke 0.6 [required by carton, git]
∗ logs 0.10.0 [required by diffast-git-cli]
∗ lru 0.3.1 [required by tcpip]
∗ lwt 6.1.2 [required by git-unix]
∗ lwt-dllist 1.1.0 [required by tcpip]
∗ macaddr 5.6.2 [required by ipaddr]
∗ macaddr-cstruct 5.6.2 [required by tcpip]
∗ markup 1.0.3 [required by diffast-misc]
∗ menhir 20260209 [required by diffast-langs-python-parsing, diffast-langs-fortran-parsing, diffast-core, etc.]
∗ menhirCST 20260209 [required by menhir]
∗ menhirGLR 20260209 [required by menhir]
∗ menhirLib 20260209 [required by diffast-langs-common]
∗ menhirSdk 20260209 [required by menhir]
∗ metrics 0.5.0 [required by tcpip]
∗ mimic 0.0.9 [required by git-unix]
∗ mimic-happy-eyeballs 0.0.9 [required by git-mirage]
∗ mirage-crypto 2.1.0 [required by git-mirage]
∗ mirage-crypto-ec 2.1.0 [required by awa]
∗ mirage-crypto-pk 2.1.0 [required by awa]
∗ mirage-crypto-rng 2.1.0 [required by awa]
∗ mirage-flow 5.0.0 [required by git-unix]
∗ mirage-kv 6.1.1 [required by tls-mirage]
∗ mirage-mtime 5.2.0 [required by awa-mirage, awa, happy-eyeballs-mirage]
∗ mirage-net 4.0.0 [required by tcpip]
∗ mirage-ptime 5.2.0 [required by git-mirage]
∗ mirage-sleep 4.1.0 [required by git-mirage]
∗ mtime 2.1.0 [required by diffast-git-cli]
∗ ocaml-compiler-libs v0.12.4 [required by ppxlib]
∗ ocaml-syntax-shims 1.0.0 [required by angstrom]
∗ ocamlbuild 0.16.1 [required by astring, uuidm, bos]
∗ ocamlfind 1.9.8 [required by astring, uuidm, bos]
∗ ocamlgraph 2.2.0 [required by git]
∗ ocplib-endian 1.2 [required by lwt]
∗ ohex 0.2.0 [required by awa]
∗ optint 0.3.0 [required by carton, git]
∗ ordering 3.23.1 [required by dyn, stdune]
∗ paf 0.8.0 [required by git-paf]
∗ pecu 0.7 [required by emile]
∗ pp 2.0.0 [required by dune-private-libs]
∗ ppx_derivers 1.2.1 [required by ppxlib]
∗ ppxlib 0.38.0 [required by sedlex]
∗ psq 0.2.1 [required by carton, git]
∗ ptime 1.2.0 [required by git-mirage]
∗ randomconv 0.2.0 [required by tcpip, dns-client]
∗ rresult 0.7.0 [required by git-unix]
∗ sedlex 3.7 [required by diffast-langs-common]
∗ seq base [required by gen, psq]
∗ sexplib0 v0.17.0 [required by ppxlib]
∗ stdlib-shims 0.3.0 [required by ppxlib]
∗ stdune 3.23.1 [required by dune-private-libs]
∗ stringext 1.6.0 [required by uri]
∗ tcpip 9.0.1 [required by git-unix]
∗ tls 2.1.0 [required by git-unix]
∗ tls-mirage 2.1.0 [required by git-mirage]
∗ top-closure 3.23.1 [required by stdune]
∗ topkg 1.1.1 [required by astring, uuidm, bos]
∗ uchar 0.0.2 [required by markup]
∗ uri 4.4.0 [required by git, git-mirage]
∗ uuidm 0.9.10 [required by diffast-core]
∗ uutf 1.0.4 [required by markup, emile]
∗ vlt 0.2.5 [required by diffast-langs-python, diffast-langs-fortran, diffast-langs-common, etc.]
∗ x509 1.0.6 [required by git-mirage]
∗ zarith 1.14 [required by cryptokit, awa]
The following system packages will first need to be installed:
pkgconf
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run pacman to install them (may need root/sudo access)
2. Display the recommended pacman command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/sbin/sudo "pacman" "-Su" "--noconfirm" "pkgconf"
- :: Starting full system upgrade...
- resolving dependencies...
- looking for conflicting packages...
-
- Package (6) Old Version New Version Net Change Download Size
-
- core/bash 5.3.12-1 5.3.15-1 0.00 MiB 1.91 MiB
- core/file 5.47-3 5.48-1 0.14 MiB 0.44 MiB
- core/openssl 3.6.2-2 3.6.3-1 0.25 MiB 5.48 MiB
- core/pacman-mirrorlist 20260406-1 20260610-1 0.00 MiB 0.01 MiB
- extra/rsync 3.4.3-1 3.4.4-1 0.00 MiB 0.37 MiB
- core/pkgconf 2.5.1-1 0.20 MiB 0.07 MiB
-
- Total Download Size: 8.28 MiB
- Total Installed Size: 33.29 MiB
- Net Upgrade Size: 0.59 MiB
-
- :: Proceed with installation? [Y/n]
- :: Retrieving packages...
- openssl-3.6.3-1-x86_64 downloading...
- bash-5.3.15-1-x86_64 downloading...
- file-5.48-1-x86_64 downloading...
- rsync-3.4.4-1-x86_64 downloading...
- pkgconf-2.5.1-1-x86_64 downloading...
- pacman-mirrorlist-20260610-1-any downloading...
- checking keyring...
- checking package integrity...
- loading package files...
- checking for file conflicts...
- :: Processing package changes...
- installing pkgconf...
- upgrading bash...
- upgrading file...
- upgrading openssl...
- warning: directory permissions differ on /etc/ssl/private/
- filesystem: 755 package: 700
- upgrading pacman-mirrorlist...
- upgrading rsync...
- :: Running post-transaction hooks...
- (1/3) Reloading system manager configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- (2/3) Enqueuing marked services...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- (3/3) Arming ConditionNeedsUpdate...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved angstrom.0.16.1 (cached)
⬇ retrieved arp.4.1.0 (cached)
⬇ retrieved asn1-combinators.0.3.2 (cached)
⬇ retrieved astring.0.8.5 (cached)
⬇ retrieved awa.0.6.1, awa-mirage.0.6.1 (cached)
⬇ retrieved base64.3.5.2 (cached)
⬇ retrieved bigstringaf.0.10.0 (cached)
⬇ retrieved bos.0.3.0 (cached)
⬇ retrieved bytesrw.0.3.0 (cached)
⬇ retrieved ca-certs-nss.3.123.1 (cached)
⬇ retrieved camlp-streams.5.0.1 (cached)
⬇ retrieved carton.0.7.2, carton-git.0.7.2, carton-lwt.0.7.2 (cached)
⬇ retrieved checkseum.0.5.3 (cached)
⬇ retrieved cmdliner.2.1.1 (cached)
⬇ retrieved conf-gmp.5 (cached)
⬇ retrieved conf-gmp-powm-sec.4 (cached)
⬇ retrieved cppo.1.8.0 (cached)
⬇ retrieved cryptokit.1.21.1 (cached)
⬇ retrieved csexp.1.5.2 (cached)
∗ installed conf-pkg-config.4
∗ installed conf-gmp.5
⬇ retrieved cstruct.6.2.0, cstruct-lwt.6.2.0 (cached)
∗ installed conf-zlib.1
∗ installed conf-gmp-powm-sec.4
⬇ retrieved csv.2.4 (cached)
⬇ retrieved decompress.1.5.3 (cached)
⬇ retrieved diffast.0.4, diffast-api.0.4, diffast-cli.0.4, diffast-core.0.4, diffast-etc.0.4, diffast-git.0.4, diffast-git-cli.0.4, diffast-langs-common.0.4, diffast-langs-cpp.0.4, diffast-langs-cpp-parsing.0.4, diffast-langs-cpp-spec.0.4, diffast-langs-fortran.0.4, diffast-langs-fortran-parsing.0.4, diffast-langs-fortran-spec.0.4, diffast-langs-java.0.4, diffast-langs-java-parsing.0.4, diffast-langs-java-spec.0.4, diffast-langs-python.0.4, diffast-langs-python-parsing.0.4, diffast-langs-python-spec.0.4, diffast-langs-verilog.0.4, diffast-langs-verilog-parsing.0.4, diffast-langs-verilog-spec.0.4, diffast-misc.0.4 (cached)
⬇ retrieved digestif.1.3.0 (cached)
⬇ retrieved dns.10.2.5, dns-client.10.2.5, dns-client-mirage.10.2.5 (cached)
⬇ retrieved domain-name.0.5.0 (cached)
⬇ retrieved duff.0.5 (cached)
∗ installed cmdliner.2.1.1
⬇ retrieved dune.3.23.1, dune-configurator.3.23.1, dune-private-libs.3.23.1, dune-site.3.23.1, dyn.3.23.1, fs-io.3.23.1, ordering.3.23.1, stdune.3.23.1, top-closure.3.23.1 (cached)
⬇ retrieved duration.0.3.1 (cached)
⬇ retrieved emile.1.1 (cached)
⬇ retrieved encore.0.8.1 (cached)
⬇ retrieved eqaf.0.10 (cached)
⬇ retrieved ethernet.3.2.0 (cached)
⬇ retrieved faraday.0.8.2 (cached)
⬇ retrieved fmt.0.11.0 (cached)
⬇ retrieved fpath.0.7.3 (cached)
⬇ retrieved gen.1.1 (cached)
⬇ retrieved git.3.18.0, git-mirage.3.18.0, git-paf.3.18.0, git-unix.3.18.0 (cached)
⬇ retrieved gmap.0.3.0 (cached)
⬇ retrieved h1.1.0.0 (cached)
⬇ retrieved h2.0.13.0, hpack.0.13.0 (cached)
⬇ retrieved happy-eyeballs.2.0.1, happy-eyeballs-lwt.2.0.1, happy-eyeballs-mirage.2.0.1 (cached)
⬇ retrieved httpun-types.0.2.0 (cached)
⬇ retrieved hxd.0.5.0 (cached)
⬇ retrieved ipaddr.5.6.2, ipaddr-cstruct.5.6.2, macaddr.5.6.2, macaddr-cstruct.5.6.2 (cached)
⬇ retrieved kdf.1.0.0 (cached)
⬇ retrieved ke.0.6 (cached)
⬇ retrieved logs.0.10.0 (cached)
⬇ retrieved lru.0.3.1 (cached)
⬇ retrieved lwt.6.1.2 (cached)
⬇ retrieved lwt-dllist.1.1.0 (cached)
⬇ retrieved markup.1.0.3 (cached)
⬇ retrieved menhir.20260209, menhirCST.20260209, menhirGLR.20260209, menhirLib.20260209, menhirSdk.20260209 (cached)
⬇ retrieved metrics.0.5.0 (cached)
⬇ retrieved mimic.0.0.9, mimic-happy-eyeballs.0.0.9 (cached)
⬇ retrieved mirage-crypto.2.1.0, mirage-crypto-ec.2.1.0, mirage-crypto-pk.2.1.0, mirage-crypto-rng.2.1.0 (cached)
⬇ retrieved mirage-flow.5.0.0 (cached)
⬇ retrieved mirage-kv.6.1.1 (cached)
⬇ retrieved mirage-mtime.5.2.0 (cached)
⬇ retrieved mirage-net.4.0.0 (cached)
⬇ retrieved mirage-ptime.5.2.0 (cached)
⬇ retrieved mirage-sleep.4.1.0 (cached)
⬇ retrieved mtime.2.1.0 (cached)
⬇ retrieved ocaml-compiler-libs.v0.12.4 (cached)
⬇ retrieved ocaml-syntax-shims.1.0.0 (cached)
⬇ retrieved ocamlbuild.0.16.1 (cached)
⬇ retrieved ocamlfind.1.9.8 (cached)
⬇ retrieved ocamlgraph.2.2.0 (cached)
⬇ retrieved ocplib-endian.1.2 (cached)
⬇ retrieved ohex.0.2.0 (cached)
⬇ retrieved optint.0.3.0 (cached)
⬇ retrieved paf.0.8.0 (cached)
⬇ retrieved pecu.0.7 (cached)
⬇ retrieved pp.2.0.0 (cached)
⬇ retrieved ppx_derivers.1.2.1 (cached)
⬇ retrieved ppxlib.0.38.0 (cached)
⬇ retrieved psq.0.2.1 (cached)
⬇ retrieved ptime.1.2.0 (cached)
⬇ retrieved randomconv.0.2.0 (cached)
⬇ retrieved rresult.0.7.0 (cached)
⬇ retrieved sedlex.3.7 (cached)
⬇ retrieved seq.base (cached)
∗ installed seq.base
⬇ retrieved sexplib0.v0.17.0 (cached)
⬇ retrieved stdlib-shims.0.3.0 (cached)
⬇ retrieved stringext.1.6.0 (cached)
⬇ retrieved tcpip.9.0.1 (cached)
⬇ retrieved tls.2.1.0, tls-mirage.2.1.0 (cached)
⬇ retrieved topkg.1.1.1 (cached)
⬇ retrieved uchar.0.0.2 (cached)
⬇ retrieved uri.4.4.0 (cached)
⬇ retrieved uuidm.0.9.10 (cached)
⬇ retrieved uutf.1.0.4 (cached)
⬇ retrieved vlt.0.2.5 (cached)
⬇ retrieved x509.1.0.6 (cached)
⬇ retrieved zarith.1.14 (cached)
∗ installed ocamlfind.1.9.8
∗ installed base-bytes.base
∗ installed ocamlbuild.0.16.1
∗ installed uchar.0.0.2
∗ installed zarith.1.14
∗ installed topkg.1.1.1
∗ installed rresult.0.7.0
∗ installed uuidm.0.9.10
∗ installed uutf.1.0.4
∗ installed fmt.0.11.0
∗ installed mtime.2.1.0
∗ installed ptime.1.2.0
∗ installed astring.0.8.5
∗ installed fpath.0.7.3
∗ installed bytesrw.0.3.0
∗ installed dune.3.23.1
∗ installed asn1-combinators.0.3.2
∗ installed base64.3.5.2
∗ installed camlp-streams.5.0.1
∗ installed cppo.1.8.0
∗ installed csexp.1.5.2
∗ installed cstruct.6.2.0
∗ installed csv.2.4
∗ installed domain-name.0.5.0
∗ installed duff.0.5
∗ installed duration.0.3.1
∗ installed eqaf.0.10
∗ installed fs-io.3.23.1
∗ installed gen.1.1
∗ installed gmap.0.3.0
∗ installed ke.0.6
∗ installed lwt-dllist.1.1.0
∗ installed macaddr.5.6.2
∗ installed markup.1.0.3
∗ installed menhirCST.20260209
∗ installed menhirGLR.20260209
∗ installed menhirLib.20260209
∗ installed menhirSdk.20260209
∗ installed metrics.0.5.0
∗ installed mirage-mtime.5.2.0
∗ installed mirage-ptime.5.2.0
∗ installed ocaml-compiler-libs.v0.12.4
∗ installed ocaml-syntax-shims.1.0.0
∗ installed ocamlgraph.2.2.0
∗ installed ohex.0.2.0
∗ installed optint.0.3.0
∗ installed ordering.3.23.1
∗ installed pecu.0.7
∗ installed pp.2.0.0
∗ installed ppx_derivers.1.2.1
∗ installed psq.0.2.1
∗ installed randomconv.0.2.0
∗ installed sexplib0.v0.17.0
∗ installed stdlib-shims.0.3.0
∗ installed stringext.1.6.0
∗ installed top-closure.3.23.1
∗ installed ocplib-endian.1.2
∗ installed dune-configurator.3.23.1
∗ installed diffast-etc.0.4
∗ installed digestif.1.3.0
∗ installed ipaddr.5.6.2
∗ installed macaddr-cstruct.5.6.2
∗ installed lru.0.3.1
∗ installed ipaddr-cstruct.5.6.2
∗ installed dyn.3.23.1
∗ installed bigstringaf.0.10.0
∗ installed checkseum.0.5.3
∗ installed faraday.0.8.2
∗ installed angstrom.0.16.1
∗ installed mirage-crypto.2.1.0
∗ installed httpun-types.0.2.0
∗ installed cryptokit.1.21.1
∗ installed encore.0.8.1
∗ installed kdf.1.0.0
∗ installed emile.1.1
∗ installed hpack.0.13.0
∗ installed h1.1.0.0
∗ installed decompress.1.5.3
∗ installed uri.4.4.0
∗ installed h2.0.13.0
∗ installed lwt.6.1.2
∗ installed cstruct-lwt.6.2.0
∗ installed mirage-flow.5.0.0
∗ installed mirage-net.4.0.0
∗ installed mirage-kv.6.1.1
∗ installed mirage-sleep.4.1.0
∗ installed menhir.20260209
∗ installed stdune.3.23.1
∗ installed hxd.0.5.0
∗ installed logs.0.10.0
∗ installed ethernet.3.2.0
∗ installed happy-eyeballs.2.0.1
∗ installed mimic.0.0.9
∗ installed mirage-crypto-rng.2.1.0
∗ installed dune-private-libs.3.23.1
∗ installed dns.10.2.5
∗ installed arp.4.1.0
∗ installed mirage-crypto-pk.2.1.0
∗ installed happy-eyeballs-lwt.2.0.1
∗ installed dns-client.10.2.5
∗ installed dune-site.3.23.1
∗ installed bos.0.3.0
∗ installed tcpip.9.0.1
∗ installed happy-eyeballs-mirage.2.0.1
∗ installed carton.0.7.2
∗ installed carton-lwt.0.7.2
∗ installed carton-git.0.7.2
∗ installed mirage-crypto-ec.2.1.0
∗ installed x509.1.0.6
∗ installed ppxlib.0.38.0
∗ installed git.3.18.0
∗ installed ca-certs-nss.3.123.1
∗ installed awa.0.6.1
∗ installed tls.2.1.0
∗ installed awa-mirage.0.6.1
∗ installed tls-mirage.2.1.0
∗ installed dns-client-mirage.10.2.5
∗ installed paf.0.8.0
∗ installed mimic-happy-eyeballs.0.0.9
∗ installed git-paf.3.18.0
∗ installed git-mirage.3.18.0
∗ installed vlt.0.2.5
∗ installed sedlex.3.7
∗ installed git-unix.3.18.0
∗ installed diffast-misc.0.4
∗ installed diffast-git.0.4
∗ installed diffast-langs-common.0.4
∗ installed diffast-langs-python-parsing.0.4
∗ installed diffast-langs-java-parsing.0.4
∗ installed diffast-langs-fortran-parsing.0.4
∗ installed diffast-langs-verilog-parsing.0.4
∗ installed diffast-core.0.4
∗ installed diffast-langs-cpp-spec.0.4
∗ installed diffast-langs-fortran-spec.0.4
∗ installed diffast-langs-java-spec.0.4
∗ installed diffast-langs-python-spec.0.4
∗ installed diffast-langs-verilog-spec.0.4
∗ installed diffast-api.0.4
∗ installed diffast-langs-cpp-parsing.0.4
∗ installed diffast-cli.0.4
∗ installed diffast-git-cli.0.4
∗ installed diffast-langs-verilog.0.4
∗ installed diffast-langs-fortran.0.4
∗ installed diffast-langs-python.0.4
∗ installed diffast-langs-cpp.0.4
∗ installed diffast-langs-java.0.4
∗ installed diffast.0.4
Done.
# To update the current shell environment, run: eval $(opam env)
2026-06-12 18:51.29 ---> saved as "8d0def69fc1e4b995c75b748acecfb441907cc7e0090de227c50051365effc5e"
Job succeeded
2026-06-12 18:51.39: Job succeeded