- github
- ocaml
- opam-repository
- e5c850
- extras,opam-2.1-ocaml-4.14,diffast.0.3.6
(not at the head of any monitored branch or PR)
2025-11-17 05:49.46: New job: build diffast.0.3.6, using opam 2.1
from https://github.com/ocaml/opam-repository.git#refs/pull/28911/head (e5c850a73cee18c61dff7201a56d1bf8cbe84151)
on debian-13-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/28911/head" && git reset --hard e5c850a7
git fetch origin master
git merge --no-edit 1c92c86556d4b9c73229d94763be9715317321bc
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:00ac8d2b32d98ee2c476e540a2ee462e24f50f003f31c05c8e412147e16c039e
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 diffast.0.3.6 0.3.6
RUN opam reinstall diffast.0.3.6; \
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" != 'diffast.0.3.6' && 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 .
2025-11-17 05:49.46: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:00ac8d2b32d98ee2c476e540a2ee462e24f50f003f31c05c8e412147e16c039e-diffast.0.3.6-e5c850a73cee18c61dff7201a56d1bf8cbe84151"
2025-11-17 05:49.46: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:00ac8d2b32d98ee2c476e540a2ee462e24f50f003f31c05c8e412147e16c039e)
(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 diffast.0.3.6 0.3.6"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall diffast.0.3.6;\
\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\" != 'diffast.0.3.6' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-11-17 05:49.46: Waiting for resource in pool OCluster
2025-11-17 07:58.11: Waiting for worker…
2025-11-17 08:06.11: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
HEAD is now at 1c92c86556 Merge pull request #28847 from nikochiko/opam-publish-raga.0.1.0
Updating 1c92c86556..e5c850a73c
Fast-forward
packages/diffast-api/diffast-api.0.3.6/opam | 50 ++++++++++++++++
packages/diffast-cli/diffast-cli.0.3.6/opam | 52 ++++++++++++++++
packages/diffast-core/diffast-core.0.3.6/opam | 57 ++++++++++++++++++
packages/diffast-etc/diffast-etc.0.3.6/opam | 47 +++++++++++++++
.../diffast-git-cli/diffast-git-cli.0.3.6/opam | 57 ++++++++++++++++++
packages/diffast-git/diffast-git.0.3.6/opam | 50 ++++++++++++++++
.../diffast-langs-common.0.3.6/opam | 52 ++++++++++++++++
.../diffast-langs-cpp-parsing-cli.0.3.6/opam | 50 ++++++++++++++++
.../diffast-langs-cpp-parsing.0.3.6/opam | 52 ++++++++++++++++
.../diffast-langs-cpp-spec.0.3.6/opam | 50 ++++++++++++++++
.../diffast-langs-cpp/diffast-langs-cpp.0.3.6/opam | 53 ++++++++++++++++
.../diffast-langs-fortran-parsing-cli.0.3.6/opam | 49 +++++++++++++++
.../diffast-langs-fortran-parsing.0.3.6/opam | 52 ++++++++++++++++
.../diffast-langs-fortran-spec.0.3.6/opam | 50 ++++++++++++++++
.../diffast-langs-fortran.0.3.6/opam | 53 ++++++++++++++++
.../diffast-langs-java-parsing-cli.0.3.6/opam | 49 +++++++++++++++
.../diffast-langs-java-parsing.0.3.6/opam | 52 ++++++++++++++++
.../diffast-langs-java-spec.0.3.6/opam | 50 ++++++++++++++++
.../diffast-langs-java.0.3.6/opam | 53 ++++++++++++++++
.../diffast-langs-python-parsing-cli.0.3.6/opam | 49 +++++++++++++++
.../diffast-langs-python-parsing.0.3.6/opam | 52 ++++++++++++++++
.../diffast-langs-python-spec.0.3.6/opam | 50 ++++++++++++++++
.../diffast-langs-python.0.3.6/opam | 53 ++++++++++++++++
.../diffast-langs-verilog-parsing-cli.0.3.6/opam | 49 +++++++++++++++
.../diffast-langs-verilog-parsing.0.3.6/opam | 52 ++++++++++++++++
.../diffast-langs-verilog-spec.0.3.6/opam | 50 ++++++++++++++++
.../diffast-langs-verilog.0.3.6/opam | 53 ++++++++++++++++
packages/diffast-misc/diffast-misc.0.3.6/opam | 52 ++++++++++++++++
packages/diffast/diffast.0.3.6/opam | 70 ++++++++++++++++++++++
29 files changed, 1508 insertions(+)
create mode 100644 packages/diffast-api/diffast-api.0.3.6/opam
create mode 100644 packages/diffast-cli/diffast-cli.0.3.6/opam
create mode 100644 packages/diffast-core/diffast-core.0.3.6/opam
create mode 100644 packages/diffast-etc/diffast-etc.0.3.6/opam
create mode 100644 packages/diffast-git-cli/diffast-git-cli.0.3.6/opam
create mode 100644 packages/diffast-git/diffast-git.0.3.6/opam
create mode 100644 packages/diffast-langs-common/diffast-langs-common.0.3.6/opam
create mode 100644 packages/diffast-langs-cpp-parsing-cli/diffast-langs-cpp-parsing-cli.0.3.6/opam
create mode 100644 packages/diffast-langs-cpp-parsing/diffast-langs-cpp-parsing.0.3.6/opam
create mode 100644 packages/diffast-langs-cpp-spec/diffast-langs-cpp-spec.0.3.6/opam
create mode 100644 packages/diffast-langs-cpp/diffast-langs-cpp.0.3.6/opam
create mode 100644 packages/diffast-langs-fortran-parsing-cli/diffast-langs-fortran-parsing-cli.0.3.6/opam
create mode 100644 packages/diffast-langs-fortran-parsing/diffast-langs-fortran-parsing.0.3.6/opam
create mode 100644 packages/diffast-langs-fortran-spec/diffast-langs-fortran-spec.0.3.6/opam
create mode 100644 packages/diffast-langs-fortran/diffast-langs-fortran.0.3.6/opam
create mode 100644 packages/diffast-langs-java-parsing-cli/diffast-langs-java-parsing-cli.0.3.6/opam
create mode 100644 packages/diffast-langs-java-parsing/diffast-langs-java-parsing.0.3.6/opam
create mode 100644 packages/diffast-langs-java-spec/diffast-langs-java-spec.0.3.6/opam
create mode 100644 packages/diffast-langs-java/diffast-langs-java.0.3.6/opam
create mode 100644 packages/diffast-langs-python-parsing-cli/diffast-langs-python-parsing-cli.0.3.6/opam
create mode 100644 packages/diffast-langs-python-parsing/diffast-langs-python-parsing.0.3.6/opam
create mode 100644 packages/diffast-langs-python-spec/diffast-langs-python-spec.0.3.6/opam
create mode 100644 packages/diffast-langs-python/diffast-langs-python.0.3.6/opam
create mode 100644 packages/diffast-langs-verilog-parsing-cli/diffast-langs-verilog-parsing-cli.0.3.6/opam
create mode 100644 packages/diffast-langs-verilog-parsing/diffast-langs-verilog-parsing.0.3.6/opam
create mode 100644 packages/diffast-langs-verilog-spec/diffast-langs-verilog-spec.0.3.6/opam
create mode 100644 packages/diffast-langs-verilog/diffast-langs-verilog.0.3.6/opam
create mode 100644 packages/diffast-misc/diffast-misc.0.3.6/opam
create mode 100644 packages/diffast/diffast.0.3.6/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:00ac8d2b32d98ee2c476e540a2ee462e24f50f003f31c05c8e412147e16c039e)
2025-11-17 08:06.14 ---> using "0a7782df646ba17c4c91deb7545267f63c19555df9b225a0640862ce540c1383" 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"))
2025-11-17 08:06.14 ---> using "4afc8b018a079f83f974985276cece0eeb4205ace6b984ba0a6588e991a6a39e" 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
2025-11-17 08:06.14 ---> using "3575d4f060a84ef596aa3d79a8c8fdf233e4d28921ca4a027d6459bbc0e9a8b6" 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 4.14
# 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.2
2025-11-17 08:06.14 ---> using "9c6876e500ccd30e134644ef82eac8cdf017667347896b8f1b5547ac6f64190c" 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/"))
2025-11-17 08:06.14 ---> using "3d89206ae551159a3fc3459c7ec17d93c6d66dbbc2557c1fad1dbeef75f3d47c" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-11-17 08:06.15 ---> using "a8548b9785c6241205508acc7491a40c95351683ba1f43a0038d21a221644e96" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-11-17 08:06.27 ---> saved as "1a5963ef69903b09c55737651b28624ea7424daccc8d932daaa750047925ce55"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- 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 trixie/main amd64 Packages [9670 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [71.8 kB]
- Fetched 9973 kB in 2s (4564 kB/s)
- Reading package lists...
-
2025-11-17 08:06.30 ---> saved as "b539eaf62f3269ac13e13815c4339ca9064567fa00e22b9b893d4e1284504218"
/home/opam: (run (shell "opam pin add -k version -yn diffast.0.3.6 0.3.6"))
diffast is now pinned to version 0.3.6
2025-11-17 08:06.31 ---> saved as "5e5639a4880388319c27d93a218eaa6872d3f3a513cc351752d6d8b3253733b0"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall diffast.0.3.6;\
\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\" != 'diffast.0.3.6' && 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.3.6 is not installed. Install it? [Y/n] y
The following actions will be performed:
- install conf-gmp 5 [required by conf-gmp-powm-sec, zarith]
- install ocamlbuild 0.16.1 [required by astring, uuidm, bos]
- install cmdliner 2.0.0 [required by diffast-git-cli]
- install conf-pkg-config 4 [required by bytesrw]
- install seq base [required by gen, psq]
- install ocamlfind 1.9.8 [required by astring, uuidm, bos]
- install dune 3.20.2 [required by diffast]
- install conf-gmp-powm-sec 4 [required by cryptokit]
- install uchar 0.0.2 [required by markup]
- install conf-zlib 1 [required by bytesrw, cryptokit]
- install zarith 1.14 [required by cryptokit, awa]
- install topkg 1.1.1 [required by astring, uuidm, bos]
- install base-bytes base [required by csv]
- install stringext 1.6.0 [required by uri]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install sexplib0 v0.17.0 [required by ppxlib]
- install randomconv 0.2.0 [required by tcpip, dns-client]
- install psq 0.2.1 [required by carton, git]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install pp 2.0.0 [required by dune-private-libs]
- install pecu 0.7 [required by emile]
- install ordering 3.20.2 [required by dyn, stdune]
- install optint 0.3.0 [required by carton, git]
- install ohex 0.2.0 [required by x509]
- install ocamlgraph 2.2.0 [required by git]
- install ocaml-syntax-shims 1.0.0 [required by angstrom]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install menhirSdk 20250912 [required by menhir]
- install menhirLib 20250912 [required by diffast-langs-common]
- install menhirCST 20250912 [required by menhir]
- install macaddr 5.6.1 [required by ipaddr]
- install lwt-dllist 1.1.0 [required by tcpip]
- install gmap 0.3.0 [required by x509]
- install gen 1.1 [required by sedlex]
- install eqaf 0.10 [required by digestif, awa]
- install duration 0.2.1 [required by happy-eyeballs-lwt]
- install domain-name 0.5.0 [required by git-unix]
- install diffast-etc 0.3.6 [required by diffast]
- install csexp 1.5.2 [required by dune-private-libs]
- install cppo 1.8.0 [required by diffast-langs-common]
- install camlp-streams 5.0.1 [required by diffast-langs-python-parsing, diffast-langs-fortran-parsing, diffast-core, etc.]
- install base64 3.5.2 [required by diffast-core]
- install uutf 1.0.4 [required by markup, emile]
- install uuidm 0.9.10 [required by diffast-core]
- install rresult 0.7.0 [required by git-unix]
- install ptime 1.2.0 [required by git-mirage]
- install mtime 2.1.0 [required by diffast-git-cli]
- install fmt 0.11.0 [required by diffast-git-cli]
- install bytesrw 0.3.0 [required by diffast-misc]
- install astring 0.8.5 [required by git-unix]
- install csv 2.4 [required by diffast-core]
- install lru 0.3.1 [required by tcpip]
- install dyn 3.20.2 [required by dune-private-libs]
- install ppxlib 0.37.0 [required by sedlex]
- install menhir 20250912 [required by diffast-langs-python-parsing, diffast-langs-fortran-parsing, diffast-core, etc.]
- install digestif 1.3.0 [required by git-unix]
- install ipaddr 5.6.1 [required by git-unix]
- install dune-configurator 3.20.2 [required by bigstringaf]
- install ocplib-endian 1.2 [required by lwt]
- install markup 1.0.3 [required by diffast-misc]
- install mirage-ptime 5.2.0 [required by git-mirage]
- install asn1-combinators 0.3.2 [required by x509]
- install mirage-mtime 5.2.0 [required by awa-mirage, awa, happy-eyeballs-mirage]
- install metrics 0.5.0 [required by tcpip]
- install ke 0.6 [required by carton, git]
- install duff 0.5 [required by carton]
- install cstruct 6.2.0 [required by git-unix]
- install fpath 0.7.3 [required by git-unix]
- install stdune 3.20.2 [required by dune-private-libs]
- install vlt 0.2.5 [required by diffast-langs-python, diffast-langs-fortran, diffast-langs-common, etc.]
- install sedlex 3.7 [required by diffast-langs-common]
- install mirage-crypto 2.0.2 [required by git-mirage]
- install cryptokit 1.20 [required by diffast-misc]
- install checkseum 0.5.2 [required by carton, git]
- install bigstringaf 0.10.0 [required by git-unix]
- install lwt 6.0.0~alpha00 [required by git-unix]
- install macaddr-cstruct 5.6.1 [required by tcpip]
- install ipaddr-cstruct 5.6.1 [required by tcpip]
- install cstruct-unix 6.2.0 [required by awa]
- install dune-private-libs 3.20.2 [required by dune-site]
- install kdf 1.0.0 [required by x509]
- install diffast-misc 0.3.6 [required by diffast]
- install decompress 1.5.3 [required by git-unix]
- install faraday 0.8.2 [required by h1, paf]
- install angstrom 0.16.1 [required by git]
- install mirage-sleep 4.1.0 [required by git-mirage]
- install mirage-net 4.0.0 [required by tcpip]
- install mirage-kv 6.1.1 [required by tls-mirage]
- install mirage-flow 5.0.0 [required by git-unix]
- install logs 0.10.0 [required by diffast-git-cli]
- install hxd 0.3.5 [required by carton, git]
- install cstruct-lwt 6.2.0 [required by tcpip]
- install dune-site 3.20.2 [required by diffast-langs-python, diffast-langs-fortran, diffast-langs-cpp, etc.]
- install diffast-langs-common 0.3.6 [required by diffast]
- install httpun-types 0.2.0 [required by h1]
- install uri 4.4.0 [required by git, git-mirage]
- install hpack 0.13.0 [required by h2]
- install encore 0.8.1 [required by git]
- install emile 1.1 [required by git]
- install mirage-crypto-rng 2.0.2 [required by awa]
- install mimic 0.0.9 [required by git-unix]
- install happy-eyeballs 2.0.1 [required by git-mirage, happy-eyeballs-lwt]
- install ethernet 3.2.0 [required by tcpip]
- install dns 10.2.2 [required by happy-eyeballs-lwt]
- install bos 0.2.1 [required by git-unix]
- install diffast-core 0.3.6 [required by diffast]
- install diffast-langs-verilog-parsing 0.3.6 [required by diffast]
- install diffast-langs-python-parsing 0.3.6 [required by diffast]
- install diffast-langs-java-parsing 0.3.6 [required by diffast]
- install diffast-langs-fortran-parsing 0.3.6 [required by diffast]
- install diffast-langs-cpp-parsing 0.3.6 [required by diffast]
- install h1 1.0.0 [required by git-paf]
- install h2 0.13.0 [required by paf]
- install mirage-crypto-pk 2.0.2 [required by awa]
- install mirage-crypto-ec 2.0.2 [required by awa]
- install arp 4.1.0 [required by tcpip]
- install happy-eyeballs-lwt 2.0.1 [required by git-unix]
- install dns-client 10.2.2 [required by dns-client-mirage]
- install carton 0.7.2 [required by git-unix]
- install diffast-langs-verilog-spec 0.3.6 [required by diffast]
- install diffast-langs-python-spec 0.3.6 [required by diffast]
- install diffast-langs-java-spec 0.3.6 [required by diffast]
- install diffast-langs-fortran-spec 0.3.6 [required by diffast]
- install diffast-langs-cpp-spec 0.3.6 [required by diffast]
- install diffast-api 0.3.6 [required by diffast]
- install x509 1.0.6 [required by git-mirage]
- install tcpip 9.0.1 [required by git-unix]
- install carton-lwt 0.7.2 [required by git]
- install diffast-langs-verilog 0.3.6 [required by diffast]
- install diffast-langs-python 0.3.6 [required by diffast]
- install diffast-langs-java 0.3.6 [required by diffast]
- install diffast-langs-fortran 0.3.6 [required by diffast]
- install diffast-langs-cpp 0.3.6 [required by diffast]
- install diffast-cli 0.3.6 [required by diffast]
- install tls 2.0.3 [required by git-unix]
- install ca-certs-nss 3.117 [required by git-mirage]
- install awa 0.5.2 [required by git-mirage]
- install happy-eyeballs-mirage 2.0.1 [required by git-mirage]
- install carton-git 0.7.2 [required by git]
- install tls-mirage 2.0.3 [required by git-mirage]
- install awa-mirage 0.5.2 [required by git-mirage]
- install git 3.18.0 [required by git-unix]
- install paf 0.8.0 [required by git-paf]
- install dns-client-mirage 10.2.2 [required by mimic-happy-eyeballs]
- install git-paf 3.18.0 [required by git-mirage]
- install mimic-happy-eyeballs 0.0.9 [required by git-mirage]
- install git-mirage 3.18.0 [required by git-unix]
- install git-unix 3.18.0 [required by diffast-git]
- install diffast-git 0.3.6 [required by diffast]
- install diffast-git-cli 0.3.6 [required by diffast]
- install diffast 0.3.6*
===== 151 to install =====
The following system packages will first need to be installed:
libgmp-dev pkg-config zlib1g-dev
<><> 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" "zlib1g-dev"
- 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 ... 20622 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) ...
- Selecting previously unselected package zlib1g-dev:amd64.
- Preparing to unpack .../6-zlib1g-dev_1%3a1.3.dfsg+really1.3.1-1+b1_amd64.deb ...
- Unpacking zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- 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 zlib1g-dev:amd64 (1:1.3.dfsg+really1.3.1-1+b1) ...
- 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) ...
<><> 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.5.2 (cached)
-> retrieved awa-mirage.0.5.2 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved bos.0.2.1 (cached)
-> retrieved bytesrw.0.3.0 (cached)
-> retrieved ca-certs-nss.3.117 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved carton.0.7.2 (cached)
-> retrieved carton-git.0.7.2 (cached)
-> retrieved carton-lwt.0.7.2 (cached)
-> retrieved checkseum.0.5.2 (cached)
-> retrieved cmdliner.2.0.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved conf-gmp-powm-sec.4 (cached)
-> retrieved cppo.1.8.0 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved cryptokit.1.20 (cached)
-> installed conf-gmp-powm-sec.4
-> installed conf-zlib.1
-> retrieved csexp.1.5.2 (cached)
-> retrieved cstruct.6.2.0 (cached)
-> retrieved cstruct-lwt.6.2.0 (cached)
-> retrieved cstruct-unix.6.2.0 (cached)
-> retrieved csv.2.4 (cached)
-> retrieved decompress.1.5.3 (cached)
-> retrieved diffast.0.3.6 (cached)
-> retrieved diffast-api.0.3.6 (cached)
-> retrieved diffast-cli.0.3.6 (cached)
-> retrieved diffast-core.0.3.6 (cached)
-> retrieved diffast-etc.0.3.6 (cached)
-> retrieved diffast-git.0.3.6 (cached)
-> retrieved diffast-git-cli.0.3.6 (cached)
-> retrieved diffast-langs-common.0.3.6 (cached)
-> retrieved diffast-langs-cpp.0.3.6 (cached)
-> retrieved diffast-langs-cpp-parsing.0.3.6 (cached)
-> retrieved diffast-langs-cpp-spec.0.3.6 (cached)
-> retrieved diffast-langs-fortran.0.3.6 (cached)
-> retrieved diffast-langs-fortran-parsing.0.3.6 (cached)
-> retrieved diffast-langs-fortran-spec.0.3.6 (cached)
-> retrieved diffast-langs-java.0.3.6 (cached)
-> retrieved diffast-langs-java-parsing.0.3.6 (cached)
-> retrieved diffast-langs-java-spec.0.3.6 (cached)
-> retrieved diffast-langs-python.0.3.6 (cached)
-> retrieved diffast-langs-python-parsing.0.3.6 (cached)
-> retrieved diffast-langs-python-spec.0.3.6 (cached)
-> retrieved diffast-langs-verilog.0.3.6 (cached)
-> installed cmdliner.2.0.0
-> retrieved diffast-langs-verilog-parsing.0.3.6 (cached)
-> retrieved diffast-langs-verilog-spec.0.3.6 (cached)
-> retrieved diffast-misc.0.3.6 (cached)
-> retrieved digestif.1.3.0 (cached)
-> retrieved dns.10.2.2 (cached)
-> retrieved dns-client.10.2.2 (cached)
-> retrieved dns-client-mirage.10.2.2 (cached)
-> retrieved domain-name.0.5.0 (cached)
-> retrieved duff.0.5 (cached)
-> retrieved dune.3.20.2 (cached)
-> retrieved dune-configurator.3.20.2 (cached)
-> retrieved dune-private-libs.3.20.2 (cached)
-> retrieved dune-site.3.20.2 (cached)
-> retrieved duration.0.2.1 (cached)
-> retrieved dyn.3.20.2 (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 (cached)
-> retrieved git-mirage.3.18.0 (cached)
-> retrieved git-paf.3.18.0 (cached)
-> retrieved git-unix.3.18.0 (cached)
-> retrieved gmap.0.3.0 (cached)
-> retrieved h1.1.0.0 (cached)
-> retrieved h2.0.13.0 (cached)
-> retrieved happy-eyeballs.2.0.1 (cached)
-> retrieved happy-eyeballs-lwt.2.0.1 (cached)
-> retrieved happy-eyeballs-mirage.2.0.1 (cached)
-> retrieved hpack.0.13.0 (cached)
-> retrieved httpun-types.0.2.0 (cached)
-> retrieved hxd.0.3.5 (cached)
-> retrieved ipaddr.5.6.1 (cached)
-> retrieved ipaddr-cstruct.5.6.1 (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.0.0~alpha00 (cached)
-> retrieved lwt-dllist.1.1.0 (cached)
-> retrieved macaddr.5.6.1 (cached)
-> retrieved macaddr-cstruct.5.6.1 (cached)
-> retrieved markup.1.0.3 (cached)
-> retrieved menhir.20250912 (cached)
-> retrieved menhirCST.20250912 (cached)
-> retrieved menhirLib.20250912 (cached)
-> retrieved menhirSdk.20250912 (cached)
-> retrieved metrics.0.5.0 (cached)
-> retrieved mimic.0.0.9 (cached)
-> retrieved mimic-happy-eyeballs.0.0.9 (cached)
-> retrieved mirage-crypto.2.0.2 (cached)
-> retrieved mirage-crypto-ec.2.0.2 (cached)
-> retrieved mirage-crypto-pk.2.0.2 (cached)
-> retrieved mirage-crypto-rng.2.0.2 (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 ordering.3.20.2 (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.37.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 stdune.3.20.2 (cached)
-> retrieved stringext.1.6.0 (cached)
-> retrieved tcpip.9.0.1 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> retrieved tls.2.0.3 (cached)
-> retrieved tls-mirage.2.0.3 (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 ocamlbuild.0.16.1
-> installed uchar.0.0.2
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed dune.3.20.2
-> installed rresult.0.7.0
-> installed uuidm.0.9.10
-> installed base64.3.5.2
-> installed camlp-streams.5.0.1
-> installed csexp.1.5.2
-> installed fmt.0.11.0
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed uutf.1.0.4
-> installed astring.0.8.5
-> installed cppo.1.8.0
-> installed csv.2.4
-> installed domain-name.0.5.0
-> installed duration.0.2.1
-> installed eqaf.0.10
-> installed gen.1.1
-> installed gmap.0.3.0
-> installed lwt-dllist.1.1.0
-> installed macaddr.5.6.1
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed ocaml-compiler-libs.v0.12.4
-> installed ocaml-syntax-shims.1.0.0
-> installed ohex.0.2.0
-> installed optint.0.3.0
-> 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 cstruct.6.2.0
-> installed duff.0.5
-> installed ke.0.6
-> installed metrics.0.5.0
-> installed mirage-mtime.5.2.0
-> installed mirage-ptime.5.2.0
-> installed ocplib-endian.1.2
-> installed diffast-etc.0.3.6
-> installed lru.0.3.1
-> installed cstruct-unix.6.2.0
-> installed macaddr-cstruct.5.6.1
-> installed asn1-combinators.0.3.2
-> installed bytesrw.0.3.0
-> installed ipaddr.5.6.1
-> installed fpath.0.7.3
-> installed ipaddr-cstruct.5.6.1
-> installed ocamlgraph.2.2.0
-> installed digestif.1.3.0
-> installed ordering.3.20.2
-> installed markup.1.0.3
-> installed dune-configurator.3.20.2
-> installed bigstringaf.0.10.0
-> installed dyn.3.20.2
-> installed checkseum.0.5.2
-> installed angstrom.0.16.1
-> installed faraday.0.8.2
-> installed httpun-types.0.2.0
-> installed encore.0.8.1
-> installed emile.1.1
-> installed hpack.0.13.0
-> installed h1.1.0.0
-> installed mirage-crypto.2.0.2
-> installed kdf.1.0.0
-> installed decompress.1.5.3
-> installed cryptokit.1.20
-> installed h2.0.13.0
-> installed uri.4.4.0
-> installed lwt.6.0.0~alpha00
-> installed mirage-net.4.0.0
-> installed cstruct-lwt.6.2.0
-> installed mirage-flow.5.0.0
-> installed mirage-kv.6.1.1
-> installed mirage-sleep.4.1.0
-> installed stdune.3.20.2
-> installed hxd.0.3.5
-> 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.0.2
-> installed arp.4.1.0
-> installed mirage-crypto-pk.2.0.2
-> installed dune-private-libs.3.20.2
-> installed dns.10.2.2
-> installed tcpip.9.0.1
-> installed bos.0.2.1
-> installed happy-eyeballs-mirage.2.0.1
-> installed happy-eyeballs-lwt.2.0.1
-> installed dns-client.10.2.2
-> installed dune-site.3.20.2
-> installed carton.0.7.2
-> installed carton-lwt.0.7.2
-> installed carton-git.0.7.2
-> installed git.3.18.0
-> installed menhir.20250912
-> installed mirage-crypto-ec.2.0.2
-> installed x509.1.0.6
-> installed ppxlib.0.37.0
-> installed ca-certs-nss.3.117
-> installed tls.2.0.3
-> installed awa.0.5.2
-> installed tls-mirage.2.0.3
-> installed awa-mirage.0.5.2
-> installed dns-client-mirage.10.2.2
-> 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.3.6
-> installed diffast-git.0.3.6
-> installed diffast-langs-common.0.3.6
-> installed diffast-langs-python-parsing.0.3.6
-> installed diffast-langs-java-parsing.0.3.6
-> installed diffast-langs-verilog-parsing.0.3.6
-> installed diffast-langs-fortran-parsing.0.3.6
-> installed diffast-core.0.3.6
-> installed diffast-langs-python-spec.0.3.6
-> installed diffast-langs-fortran-spec.0.3.6
-> installed diffast-langs-java-spec.0.3.6
-> installed diffast-langs-cpp-spec.0.3.6
-> installed diffast-langs-verilog-spec.0.3.6
-> installed diffast-api.0.3.6
-> installed diffast-cli.0.3.6
-> installed diffast-git-cli.0.3.6
-> installed diffast-langs-verilog.0.3.6
-> installed diffast-langs-fortran.0.3.6
-> installed diffast-langs-python.0.3.6
-> installed diffast-langs-java.0.3.6
-> installed diffast-langs-cpp-parsing.0.3.6
-> installed diffast-langs-cpp.0.3.6
-> installed diffast.0.3.6
Done.
# Run eval $(opam env) to update the current shell environment
2025-11-17 08:12.21 ---> saved as "c805f794a03adb7df050ce8f34de38ff4a04c9bcded159dd1ce9b9fcad3418c6"
Job succeeded
2025-11-17 08:12.29: Job succeeded