- github
- ocaml
- opam-repository
- 02cbe6
- distributions,archlinux-ocaml-4.14,frama-clang.0.0.19,tests
(not at the head of any monitored branch or PR)
2026-02-05 07:17.59: New job: test frama-clang.0.0.19, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29309/head (02cbe632b1bf765d8872f21869200d69dea221ae)
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/29309/head" && git reset --hard 02cbe632
git fetch origin master
git merge --no-edit 74f2f20e570abf0549cd31dbaf8d3d1de236efad
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:archlinux-ocaml-4.14@sha256:dcdfc99f49cc452b38fe860974afd1da85494d14fc55b8de0d0158e7bbea5e34
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 frama-clang.0.0.19 0.0.19
RUN opam reinstall frama-clang.0.0.19; \
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" != 'frama-clang.0.0.19' && 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 frama-clang.0.0.19) || true
RUN opam reinstall --with-test --verbose frama-clang.0.0.19; \
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" != 'frama-clang.0.0.19' && 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-02-05 07:17.59: Using cache hint "ocaml/opam:archlinux-ocaml-4.14@sha256:dcdfc99f49cc452b38fe860974afd1da85494d14fc55b8de0d0158e7bbea5e34-frama-clang.0.0.19-02cbe632b1bf765d8872f21869200d69dea221ae"
2026-02-05 07:17.59: Using OBuilder spec:
((from ocaml/opam:archlinux-ocaml-4.14@sha256:dcdfc99f49cc452b38fe860974afd1da85494d14fc55b8de0d0158e7bbea5e34)
(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 frama-clang.0.0.19 0.0.19"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall frama-clang.0.0.19;\
\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\" != 'frama-clang.0.0.19' && 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 frama-clang.0.0.19) || true"))
(run (shell "opam reinstall --with-test --verbose frama-clang.0.0.19;\
\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\" != 'frama-clang.0.0.19' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-02-05 07:17.59: Waiting for resource in pool OCluster
2026-02-05 07:17.59: Waiting for worker…
2026-02-05 07:18.02: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 74f2f20e57 Merge pull request #29339 from c-cube/release-moonpool-v0.11
Merge made by the 'ort' strategy.
packages/conf-libclang/conf-libclang.19/opam | 14 ++++----
packages/frama-clang/frama-clang.0.0.19/opam | 52 ++++++++++++++++++++++++++++
2 files changed, 59 insertions(+), 7 deletions(-)
create mode 100644 packages/frama-clang/frama-clang.0.0.19/opam
(from ocaml/opam:archlinux-ocaml-4.14@sha256:dcdfc99f49cc452b38fe860974afd1da85494d14fc55b8de0d0158e7bbea5e34)
2026-02-05 07:19.35 ---> saved as "130a6b9bf3f6969acdbf23d870c8ba63e1b4dc6cba2bc6a7f3aa73d2241ae282"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-02-05 07:19.35 ---> saved as "2d87203df968d28a0e5cff5e85cb5955c38af39ffebc06a356c6d21ead0868ec"
/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.0 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 71 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=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-02-05 07:20.05 ---> saved as "0f006c7ab3ee2782dcd1563b5103c3032aa89cc55156bf9e1383e5edabd303c2"
/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.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=arch os-version=20260125.0.484595
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, 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.2
2026-02-05 07:20.06 ---> saved as "0e4b3b844b358ee256d2888f50409bcd46993c394062c1a4ff851c789e47893e"
/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-02-05 07:20.54 ---> saved as "870c9a6534c28c9dc0048ff333ab2f9827f2236bbac8caa256fa3eea7bd3cd2f"
/home/opam: (copy (src .) (dst opam-repository/))
2026-02-05 07:21.03 ---> saved as "8368743ddd7a1deb79ac7b62a49bb51c16d8514227c2aa315dac966e781c7fad"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-02-05 07:21.27 ---> saved as "d3f7438f73860a976051b52884d17158e02e5669221b947c583a27c7da7188e5"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/sbin/sudo "pacman" "-Sy"
- :: Synchronizing package databases...
- core downloading...
- extra downloading...
2026-02-05 07:22.13 ---> saved as "d92309e84ea6dbfc1022448e453f7ba648b417787de643b3928086324eb93bcd"
/home/opam: (run (shell "opam pin add -k version -yn frama-clang.0.0.19 0.0.19"))
frama-clang is now pinned to version 0.0.19
2026-02-05 07:22.14 ---> saved as "a152ff6786f3b88146a4a754d3d5d2e9216e34d2472e0293ed4588e46642328d"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall frama-clang.0.0.19;\
\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\" != 'frama-clang.0.0.19' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
frama-clang.0.0.19 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 96 packages
∗ alt-ergo-free 2.2.0 [required by frama-c]
∗ astring 0.8.5 [required by bos]
∗ base v0.16.4 [required by ppx_inline_test]
∗ bos 0.2.1 [required by camlp5]
∗ cairo2 0.6.5 [required by lablgtk3]
∗ camlp-streams 5.0.1 [required by frama-clang]
∗ camlp5 8.04.00 [required by frama-clang]
∗ camlp5-buildscripts 0.06 [required by camlp5]
∗ camlzip 1.13 [required by frama-c]
∗ conf-autoconf 0.2 [required by alt-ergo-free]
∗ conf-bash 1 [required by camlp5, conf-libclang]
∗ conf-cairo 1 [required by cairo2]
∗ conf-clang 2 [required by frama-clang]
∗ conf-cmake 1 [required by frama-clang]
∗ conf-gmp 5 [required by zarith]
∗ conf-graphviz 0.1
∗ conf-gtk3 18 [required by lablgtk3]
∗ conf-gtksourceview3 0+2 [required by frama-c]
∗ conf-libclang 19 [required by frama-clang]
∗ conf-libpcre2-8 2 [required by pcre2]
∗ conf-m4 1 [required by not-ocamlfind]
∗ conf-perl 2 [required by camlp5]
∗ conf-pkg-config 4 [required by conf-gtksourceview3]
∗ conf-which 1 [required by not-ocamlfind]
∗ conf-zlib 1 [required by camlzip]
∗ cppo 1.8.0 [required by ppx_deriving]
∗ csexp 1.5.2 [required by dune-configurator, dune-private-libs]
∗ cstruct 6.2.0 [required by hex]
∗ ctypes 0.24.0 [required by yaml]
∗ dune 3.21.0 [required by frama-clang]
∗ dune-compiledb 0.6.0 [required by pcre2]
∗ dune-configurator 3.21.0 [required by frama-c]
∗ dune-private-libs 3.21.0 [required by dune-site]
∗ dune-site 3.21.0 [required by frama-c]
∗ dyn 3.21.0 [required by dune-private-libs]
∗ ezjsonm 1.3.0 [required by dune-compiledb]
∗ fmt 0.11.0 [required by camlp5]
∗ fpath 0.7.3 [required by bos]
∗ frama-c 32.0 [required by frama-clang]
∗ frama-clang 0.0.19 (pinned)
∗ fs-io 3.21.0 [required by stdune]
∗ hex 1.5.0 [required by ezjsonm]
∗ integers 0.7.0 [required by ctypes]
∗ jane-street-headers v0.16.0 [required by time_now]
∗ jsonm 1.0.2 [required by ezjsonm]
∗ jst-config v0.16.0 [required by time_now]
∗ lablgtk3 3.1.5 [required by frama-c]
∗ lablgtk3-sourceview3 3.1.5 [required by frama-c]
∗ logs 0.10.0 [required by bos]
∗ menhir 20211128 [required by frama-c]
∗ menhirLib 20211128 [required by menhir]
∗ menhirSdk 20211128 [required by menhir]
∗ not-ocamlfind 0.14 [required by camlp5-buildscripts]
∗ num 1.6 [required by alt-ergo-free]
∗ ocaml-compiler-libs v0.12.4 [required by ppxlib]
∗ ocamlbuild 0.16.1 [required by bos]
∗ ocamlfind 1.9.8 [required by camlp5]
∗ ocamlgraph 2.2.0 [required by frama-c]
∗ ocplib-simplex 0.4.1 [required by alt-ergo-free]
∗ ordering 3.21.0 [required by dyn, stdune]
∗ parsexp v0.16.0 [required by sexplib]
∗ pcre2 8.0.4 [required by camlp5]
∗ pp 2.0.0 [required by dune-private-libs]
∗ ppx_assert v0.16.0 [required by jst-config]
∗ ppx_base v0.16.0 [required by time_now]
∗ ppx_cold v0.16.0 [required by ppx_base]
∗ ppx_compare v0.16.0 [required by ppx_base]
∗ ppx_derivers 1.2.1 [required by ppx_deriving]
∗ ppx_deriving 6.0.3 [required by frama-c]
∗ ppx_deriving_yaml 0.4.0 [required by frama-c]
∗ ppx_deriving_yojson 3.9.1 [required by frama-c]
∗ ppx_enumerate v0.16.0 [required by ppx_base]
∗ ppx_globalize v0.16.0 [required by ppx_base]
∗ ppx_hash v0.16.0 [required by ppx_base]
∗ ppx_here v0.16.0 [required by ppx_assert]
∗ ppx_inline_test v0.16.1 [required by frama-c]
∗ ppx_optcomp v0.16.0 [required by time_now]
∗ ppx_sexp_conv v0.16.0 [required by why3]
∗ ppxlib 0.35.0 [required by frama-c]
∗ psmt2-frontend 0.1 [required by alt-ergo-free]
∗ re 1.14.0 [required by camlp5]
∗ rresult 0.7.0 [required by camlp5]
∗ sexplib v0.16.0 [required by why3]
∗ sexplib0 v0.16.0 [required by ppxlib, dune-compiledb, base]
∗ stdio v0.16.0 [required by ppx_optcomp]
∗ stdlib-shims 0.3.0 [required by ppxlib]
∗ stdune 3.21.0 [required by dune-private-libs]
∗ time_now v0.16.0 [required by ppx_inline_test]
∗ top-closure 3.21.0 [required by stdune]
∗ topkg 1.1.1 [required by bos]
∗ unionFind 20220122 [required by frama-c]
∗ uutf 1.0.4 [required by ezjsonm]
∗ why3 1.8.2 [required by frama-c]
∗ yaml 3.2.0 [required by frama-c]
∗ yojson 3.0.0 [required by frama-c]
∗ zarith 1.14 [required by frama-clang]
The following system packages will first need to be installed:
autoconf cairo clang clang19 cmake graphviz gtk3 gtksourceview3 llvm19 m4 pkgconf which
<><> 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" "autoconf" "cairo" "clang" "clang19" "cmake" "graphviz" "gtk3" "gtksourceview3" "llvm19" "m4" "pkgconf" "which"
- :: Starting full system upgrade...
- resolving dependencies...
- looking for conflicting packages...
-
- Package (131) Old Version New Version Net Change Download Size
-
- extra/adwaita-cursors 49.0-1 11.41 MiB 0.35 MiB
- extra/adwaita-fonts 49.0-2 7.22 MiB 2.11 MiB
- extra/adwaita-icon-theme 49.0-1 1.17 MiB 0.20 MiB
- extra/adwaita-icon-theme-legacy 46.2-3 2.23 MiB 2.17 MiB
- extra/aom 3.13.1-2 9.16 MiB 2.91 MiB
- core/archlinux-keyring 20260107-2 20260202-1 0.01 MiB 1.20 MiB
- extra/at-spi2-core 2.58.3-1 3.97 MiB 0.56 MiB
- extra/avahi 1:0.9rc3-1 1.98 MiB 0.43 MiB
- extra/compiler-rt 21.1.6-1 46.11 MiB 3.70 MiB
- extra/compiler-rt19 19.1.7-1 44.05 MiB 3.59 MiB
- core/coreutils 9.9-1 9.10-1 -1.00 MiB 2.82 MiB
- extra/cppdap 1.58.0-2 1.55 MiB 0.32 MiB
- extra/dav1d 1.5.3-1 1.78 MiB 0.63 MiB
- extra/dconf 0.49.0-1 0.45 MiB 0.10 MiB
- extra/default-cursors 3-1 0.00 MiB 0.00 MiB
- extra/desktop-file-utils 0.28-1 0.18 MiB 0.04 MiB
- extra/duktape 2.7.0-7 0.78 MiB 0.17 MiB
- core/expat 2.7.3-1 2.7.4-1 0.01 MiB 0.12 MiB
- extra/fontconfig 2:2.17.1-1 1.12 MiB 0.37 MiB
- extra/freetype2 2.14.1-1 1.66 MiB 0.53 MiB
- extra/fribidi 1.0.16-2 0.24 MiB 0.07 MiB
- extra/gd 2.3.3-9 0.64 MiB 0.15 MiB
- extra/gdk-pixbuf2 2.44.4-1 2.95 MiB 0.48 MiB
- extra/ghostscript 10.06.0-1 43.75 MiB 20.03 MiB
- extra/giflib 5.2.2-2 0.27 MiB 0.08 MiB
- extra/git 2.52.0-2 2.53.0-1 0.09 MiB 6.83 MiB
- extra/glib-networking 1:2.80.1-1 0.65 MiB 0.14 MiB
- extra/glycin 2.0.7-1 19.56 MiB 3.91 MiB
- extra/gperftools 2.17.2-1 2.01 MiB 0.49 MiB
- extra/graphite 1:1.3.14-5 0.20 MiB 0.08 MiB
- extra/gsettings-desktop-schemas 49.1-1 5.69 MiB 0.75 MiB
- extra/gsettings-system-schemas 49.1-1 0.01 MiB 0.01 MiB
- extra/gsfonts 20200910-6 3.11 MiB 1.59 MiB
- extra/gtest 1.17.0-1 1.63 MiB 0.38 MiB
- extra/gtk-update-icon-cache 1:4.20.3-1 0.04 MiB 0.02 MiB
- extra/gts 0.7.6.121130-5 0.67 MiB 0.20 MiB
- extra/harfbuzz 12.3.2-1 4.21 MiB 1.09 MiB
- extra/hicolor-icon-theme 0.18-1 0.05 MiB 0.01 MiB
- extra/highway 1.3.0-1 9.87 MiB 1.16 MiB
- extra/ijs 0.35-6 0.12 MiB 0.05 MiB
- extra/iso-codes 4.20.1-1 22.30 MiB 3.60 MiB
- extra/jbig2dec 0.20-1 0.15 MiB 0.06 MiB
- extra/jbigkit 2.1-8 0.16 MiB 0.05 MiB
- extra/json-glib 1.10.8-1 1.01 MiB 0.17 MiB
- extra/jsoncpp 1.9.6-3 0.77 MiB 0.16 MiB
- extra/l-smash 2.14.5-4 1.02 MiB 0.31 MiB
- extra/lcms2 2.18-1 0.68 MiB 0.22 MiB
- extra/libavif 1.3.0-5 0.74 MiB 0.26 MiB
- extra/libcloudproviders 0.4.0-1 0.32 MiB 0.05 MiB
- extra/libcolord 1.4.8-1 1.24 MiB 0.18 MiB
- extra/libcups 2:2.4.16-1 0.77 MiB 0.27 MiB
- extra/libdaemon 0.14-6 0.06 MiB 0.02 MiB
- extra/libdatrie 0.2.14-1 0.49 MiB 0.11 MiB
- extra/libde265 1.0.16-2 0.72 MiB 0.26 MiB
- extra/libdeflate 1.25-1 0.14 MiB 0.06 MiB
- extra/libdrm 2.4.131-1 1.28 MiB 0.35 MiB
- core/libedit 20250104_3.1-1 0.26 MiB 0.11 MiB
- extra/libepoxy 1.5.10-3 2.64 MiB 0.30 MiB
- extra/libglvnd 1.7.0-3 3.34 MiB 0.32 MiB
- extra/libheif 1.21.2-2 2.29 MiB 0.70 MiB
- extra/libice 1.1.2-1 0.36 MiB 0.08 MiB
- extra/libidn 1.43-1 0.85 MiB 0.29 MiB
- extra/libjpeg-turbo 3.1.3-1 2.42 MiB 0.56 MiB
- extra/libjxl 0.11.1-5 9.74 MiB 2.20 MiB
- core/libldap 2.6.10-2 2.6.12-1 0.00 MiB 0.28 MiB
- extra/libpaper 2.2.7-1 0.16 MiB 0.05 MiB
- extra/libpciaccess 0.18.1-2 0.06 MiB 0.02 MiB
- extra/libpng 1.6.54-1 0.58 MiB 0.25 MiB
- extra/libproxy 0.5.12-1 0.10 MiB 0.03 MiB
- extra/librsvg 2:2.61.3-1 10.39 MiB 2.30 MiB
- extra/libsm 1.2.6-1 0.26 MiB 0.04 MiB
- extra/libsoup3 3.6.5-1 1.95 MiB 0.38 MiB
- extra/libstemmer 3.0.1-1 0.60 MiB 0.13 MiB
- extra/libthai 0.1.30-1 1.24 MiB 0.26 MiB
- extra/libtiff 4.7.1-1 1.26 MiB 0.38 MiB
- core/libtool 2.6.0-3 2.33 MiB 0.42 MiB
- extra/libunwind 1.8.2-1 0.29 MiB 0.13 MiB
- extra/libuv 1.51.0-1 0.62 MiB 0.25 MiB
- extra/libwebp 1.6.0-2 1.04 MiB 0.32 MiB
- extra/libxcomposite 0.4.7-1 0.02 MiB 0.01 MiB
- extra/libxcursor 1.2.3-1 0.07 MiB 0.03 MiB
- extra/libxdamage 1.1.7-1 0.02 MiB 0.01 MiB
- extra/libxext 1.3.7-1 0.30 MiB 0.10 MiB
- extra/libxfixes 6.0.2-1 0.04 MiB 0.01 MiB
- extra/libxft 2.3.9-1 0.13 MiB 0.06 MiB
- extra/libxi 1.8.2-1 0.48 MiB 0.15 MiB
- extra/libxinerama 1.1.6-1 0.02 MiB 0.01 MiB
- extra/libxkbcommon 1.13.1-1 1.03 MiB 0.27 MiB
- extra/libxpm 3.5.18-1 0.16 MiB 0.07 MiB
- extra/libxrandr 1.5.5-1 0.07 MiB 0.03 MiB
- extra/libxrender 0.9.12-1 0.09 MiB 0.03 MiB
- extra/libxshmfence 1.3.3-1 0.02 MiB 0.01 MiB
- extra/libxt 1.3.1-1 2.02 MiB 0.52 MiB
- extra/libxtst 1.2.5-1 0.11 MiB 0.03 MiB
- extra/libxxf86vm 1.1.7-1 0.03 MiB 0.02 MiB
- extra/libyuv r2426+464c51a03-1 1.82 MiB 0.30 MiB
- extra/llvm-libs 21.1.6-2 150.01 MiB 38.45 MiB
- extra/llvm19-libs 19.1.7-2 134.98 MiB 35.24 MiB
- extra/lm_sensors 1:3.6.2-1 0.48 MiB 0.13 MiB
- core/lzo 2.10-5 0.38 MiB 0.09 MiB
- extra/mesa 1:25.3.4-1 49.18 MiB 12.51 MiB
- extra/netpbm 10.86.48-1 7.00 MiB 1.32 MiB
- extra/openh264 2.6.0-1 2.17 MiB 0.63 MiB
- extra/openjpeg2 2.5.4-1 13.37 MiB 0.87 MiB
- extra/pango 1:1.57.0-2 2.33 MiB 0.41 MiB
- extra/pixman 0.46.4-1 0.74 MiB 0.28 MiB
- extra/poppler-data 0.4.12-2 12.34 MiB 1.90 MiB
- extra/rav1e 0.8.1-2 7.61 MiB 1.60 MiB
- extra/rhash 1.4.6-1 0.34 MiB 0.18 MiB
- extra/shared-mime-info 2.4-2 4.57 MiB 0.60 MiB
- extra/spirv-tools 1:1.4.335.0-1 7.51 MiB 1.89 MiB
- extra/svt-av1 4.0.1-1 5.26 MiB 1.93 MiB
- extra/tinysparql 3.10.1-2 3.85 MiB 1.05 MiB
- extra/wayland 1.24.0-1 0.82 MiB 0.14 MiB
- extra/x264 3:0.165.r3222.b35605a-2 3.79 MiB 0.75 MiB
- extra/x265 4.1-1 20.84 MiB 1.94 MiB
- extra/xkeyboard-config 2.46-1 10.21 MiB 0.86 MiB
- extra/xorg-xprop 1.2.8-1 0.05 MiB 0.03 MiB
- extra/zlib-ng 2.3.2-1 2.3.3-1 0.00 MiB 0.11 MiB
- core/autoconf 2.72-1 2.22 MiB 0.64 MiB
- extra/cairo 1.18.4-1 1.59 MiB 0.61 MiB
- extra/clang 21.1.6-3 217.27 MiB 48.80 MiB
- extra/clang19 19.1.7-1 208.88 MiB 44.32 MiB
- extra/cmake 4.2.3-1 92.90 MiB 13.78 MiB
- extra/graphviz 14.1.1-2 10.77 MiB 3.77 MiB
- extra/gtk3 1:3.24.51-1 52.56 MiB 8.80 MiB
- extra/gtksourceview3 1:3.24.11+r30+gd880929f-1 3.91 MiB 0.59 MiB
- extra/llvm19 19.1.7-2 68.74 MiB 13.61 MiB
- core/m4 1.4.20-1 0.70 MiB 0.26 MiB
- core/pkgconf 2.5.1-1 0.20 MiB 0.07 MiB
- core/which 2.23-1 0.03 MiB 0.02 MiB
-
- Total Download Size: 315.56 MiB
- Total Installed Size: 1468.26 MiB
- Net Upgrade Size: 1408.20 MiB
-
- :: Proceed with installation? [Y/n]
- :: Retrieving packages...
- clang-21.1.6-3-x86_64 downloading...
- clang19-19.1.7-1-x86_64 downloading...
- llvm-libs-21.1.6-2-x86_64 downloading...
- llvm19-libs-19.1.7-2-x86_64 downloading...
- ghostscript-10.06.0-1-x86_64 downloading...
- cmake-4.2.3-1-x86_64 downloading...
- llvm19-19.1.7-2-x86_64 downloading...
- mesa-1:25.3.4-1-x86_64 downloading...
- gtk3-1:3.24.51-1-x86_64 downloading...
- git-2.53.0-1-x86_64 downloading...
- glycin-2.0.7-1-x86_64 downloading...
- graphviz-14.1.1-2-x86_64 downloading...
- compiler-rt-21.1.6-1-x86_64 downloading...
- iso-codes-4.20.1-1-any downloading...
- compiler-rt19-19.1.7-1-x86_64 downloading...
- aom-3.13.1-2-x86_64 downloading...
- coreutils-9.10-1-x86_64 downloading...
- librsvg-2:2.61.3-1-x86_64 downloading...
- libjxl-0.11.1-5-x86_64 downloading...
- adwaita-icon-theme-legacy-46.2-3-any downloading...
- adwaita-fonts-49.0-2-any downloading...
- x265-4.1-1-x86_64 downloading...
- svt-av1-4.0.1-1-x86_64 downloading...
- poppler-data-0.4.12-2-any downloading...
- spirv-tools-1:1.4.335.0-1-x86_64 downloading...
- rav1e-0.8.1-2-x86_64 downloading...
- gsfonts-20200910-6-any downloading...
- netpbm-10.86.48-1-x86_64 downloading...
- archlinux-keyring-20260202-1-any downloading...
- highway-1.3.0-1-x86_64 downloading...
- harfbuzz-12.3.2-1-x86_64 downloading...
- tinysparql-3.10.1-2-x86_64 downloading...
- openjpeg2-2.5.4-1-x86_64 downloading...
- xkeyboard-config-2.46-1-any downloading...
- gsettings-desktop-schemas-49.1-1-any downloading...
- x264-3:0.165.r3222.b35605a-2-x86_64 downloading...
- libheif-1.21.2-2-x86_64 downloading...
- autoconf-2.72-1-any downloading...
- openh264-2.6.0-1-x86_64 downloading...
- dav1d-1.5.3-1-x86_64 downloading...
- cairo-1.18.4-1-x86_64 downloading...
- shared-mime-info-2.4-2-x86_64 downloading...
- gtksourceview3-1:3.24.11+r30+gd880929f-1-x86_64 downloading...
- at-spi2-core-2.58.3-1-x86_64 downloading...
- libjpeg-turbo-3.1.3-1-x86_64 downloading...
- freetype2-2.14.1-1-x86_64 downloading...
- libxt-1.3.1-1-x86_64 downloading...
- gperftools-2.17.2-1-x86_64 downloading...
- gdk-pixbuf2-2.44.4-1-x86_64 downloading...
- avahi-1:0.9rc3-1-x86_64 downloading...
- libtool-2.6.0-3-x86_64 downloading...
- pango-1:1.57.0-2-x86_64 downloading...
- libsoup3-3.6.5-1-x86_64 downloading...
- libtiff-4.7.1-1-x86_64 downloading...
- gtest-1.17.0-1-x86_64 downloading...
- fontconfig-2:2.17.1-1-x86_64 downloading...
- adwaita-cursors-49.0-1-any downloading...
- libdrm-2.4.131-1-x86_64 downloading...
- libwebp-1.6.0-2-x86_64 downloading...
- cppdap-1.58.0-2-x86_64 downloading...
- libglvnd-1.7.0-3-x86_64 downloading...
- l-smash-2.14.5-4-x86_64 downloading...
- libepoxy-1.5.10-3-x86_64 downloading...
- libyuv-r2426+464c51a03-1-x86_64 downloading...
- libidn-1.43-1-x86_64 downloading...
- pixman-0.46.4-1-x86_64 downloading...
- libldap-2.6.12-1-x86_64 downloading...
- libxkbcommon-1.13.1-1-x86_64 downloading...
- libcups-2:2.4.16-1-x86_64 downloading...
- m4-1.4.20-1-x86_64 downloading...
- libthai-0.1.30-1-x86_64 downloading...
- libavif-1.3.0-5-x86_64 downloading...
- libde265-1.0.16-2-x86_64 downloading...
- libuv-1.51.0-1-x86_64 downloading...
- libpng-1.6.54-1-x86_64 downloading...
- lcms2-2.18-1-x86_64 downloading...
- gts-0.7.6.121130-5-x86_64 downloading...
- adwaita-icon-theme-49.0-1-any downloading...
- libcolord-1.4.8-1-x86_64 downloading...
- rhash-1.4.6-1-x86_64 downloading...
- duktape-2.7.0-7-x86_64 downloading...
- json-glib-1.10.8-1-x86_64 downloading...
- jsoncpp-1.9.6-3-x86_64 downloading...
- gd-2.3.3-9-x86_64 downloading...
- libxi-1.8.2-1-x86_64 downloading...
- wayland-1.24.0-1-x86_64 downloading...
- glib-networking-1:2.80.1-1-x86_64 downloading...
- libstemmer-3.0.1-1-x86_64 downloading...
- lm_sensors-1:3.6.2-1-x86_64 downloading...
- libunwind-1.8.2-1-x86_64 downloading...
- expat-2.7.4-1-x86_64 downloading...
- libedit-20250104_3.1-1-x86_64 downloading...
- zlib-ng-2.3.3-1-x86_64 downloading...
- libdatrie-0.2.14-1-x86_64 downloading...
- dconf-0.49.0-1-x86_64 downloading...
- libxext-1.3.7-1-x86_64 downloading...
- lzo-2.10-5-x86_64 downloading...
- graphite-1:1.3.14-5-x86_64 downloading...
- libice-1.1.2-1-x86_64 downloading...
- giflib-5.2.2-2-x86_64 do
- wnloading...
- pkgconf-2.5.1-1-x86_64 downloading...
- libxpm-3.5.18-1-x86_64 downloading...
- fribidi-1.0.16-2-x86_64 downloading...
- libdeflate-1.25-1-x86_64 downloading...
- jbig2dec-0.20-1-x86_64 downloading...
- libxft-2.3.9-1-x86_64 downloading...
- ijs-0.35-6-x86_64 downloading...
- jbigkit-2.1-8-x86_64 downloading...
- libpaper-2.2.7-1-x86_64 downloading...
- libcloudproviders-0.4.0-1-x86_64 downloading...
- libsm-1.2.6-1-x86_64 downloading...
- desktop-file-utils-0.28-1-x86_64 downloading...
- libxcursor-1.2.3-1-x86_64 downloading...
- libproxy-0.5.12-1-x86_64 downloading...
- libxrender-0.9.12-1-x86_64 downloading...
- libxtst-1.2.5-1-x86_64 downloading...
- libxrandr-1.5.5-1-x86_64 downloading...
- xorg-xprop-1.2.8-1-x86_64 downloading...
- libpciaccess-0.18.1-2-x86_64 downloading...
- libdaemon-0.14-6-x86_64 downloading...
- gtk-update-icon-cache-1:4.20.3-1-x86_64 downloading...
- which-2.23-1-x86_64 downloading...
- libxxf86vm-1.1.7-1-x86_64 downloading...
- libxfixes-6.0.2-1-x86_64 downloading...
- hicolor-icon-theme-0.18-1-any downloading...
- libxcomposite-0.4.7-1-x86_64 downloading...
- libxinerama-1.1.6-1-x86_64 downloading...
- libxdamage-1.1.7-1-x86_64 downloading...
- libxshmfence-1.3.3-1-x86_64 downloading...
- gsettings-system-schemas-49.1-1-any downloading...
- default-cursors-3-1-any downloading...
- checking keyring...
- checking package integrity...
- loading package files...
- checking for file conflicts...
- :: Processing package changes...
- installing m4...
- installing autoconf...
- upgrading expat...
- installing libpng...
- installing freetype2...
- Optional dependencies for freetype2
- harfbuzz: Improved autohinting [pending]
- installing fontconfig...
- Creating fontconfig configuration...
- Rebuilding fontconfig cache...
- installing libxext...
- installing libxrender...
- installing lzo...
- installing pixman...
- installing cairo...
- installing libedit...
- installing llvm-libs...
- installing compiler-rt...
- upgrading libldap...
- upgrading coreutils...
- installing clang...
- Optional dependencies for clang
- openmp: OpenMP support in clang with -fopenmp
- python: for scan-view and git-clang-format
- llvm: referenced by some clang headers
- installing llvm19-libs...
- installing compiler-rt19...
- installing clang19...
- Optional dependencies for clang19
- openmp: OpenMP support in clang with -fopenmp
- python: for scan-view and git-clang-format
- llvm19: referenced by some clang headers [pending]
- installing cppdap...
- installing hicolor-icon-theme...
- installing jsoncpp...
- Optional dependencies for jsoncpp
- jsoncpp-doc: documentation
- installing libuv...
- installing rhash...
- installing cmake...
- Optional dependencies for cmake
- make: for unix Makefile generator [installed]
- ninja: for ninja generator
- qt6-base: cmake-gui
- installing libtool...
- installing libice...
- installing libsm...
- installing libxt...
- installing libxpm...
- installing libwebp...
- Optional dependencies for libwebp
- libwebp-utils: WebP conversion and inspection tools
- installing aom...
- installing dav1d...
- Optional dependencies for dav1d
- dav1d-doc: HTML documentation
- installing libjpeg-turbo...
- Optional dependencies for libjpeg-turbo
- java-runtime>11: for TurboJPEG Java wrapper
- installing libyuv...
- installing rav1e...
- installing svt-av1...
- installing libavif...
- installing libde265...
- Optional dependencies for libde265
- ffmpeg: for sherlock265
- qt5-base: for sherlock265
- sdl: dec265 YUV overlay output
- installing openh264...
- installing l-smash...
- installing x264...
- installing x265...
- installing libheif...
- Optional dependencies for libheif
- libjpeg-turbo: for heif-dec and heif-enc [installed]
- libpng: for heif-dec and heif-enc [installed]
- libtiff: for heif-dec and heif-enc [pending]
- dav1d: dav1d encoder [installed]
- ffmpeg: hardware decode
- openjpeg2: JPEG2000 decoder [pending]
- rav1e: rav1e encoder [installed]
- svt-av1: svt-av1 encoder [installed]
- installing gd...
- Optional dependencies for gd
- perl: bdftogd script [installed]
- installing jbigkit...
- installing libdeflate...
- installing libtiff...
- Optional dependencies for libtiff
- freeglut: for using tiffgt
- installing lcms2...
- installing giflib...
- installing libunwind...
- installing gperftools...
- installing gtest...
- Optional dependencies for gtest
- python: gmock generator
- installing highway...
- installing libjxl...
- Optional dependencies for libjxl
- java-runtime: for JNI bindings
- installing glycin...
- Optional dependencies for glycin
- libheif: Load .avif, .heic and .heif [installed]
- installing shared-mime-info...
- installing gdk-pixbuf2...
- Optional dependencies for gdk-pixbuf2
- libheif: Load .avif, .heic and .heif [installed]
- libopenraw: Load .arw, .cr2, .crw, .dng, .erf, .mrw, .nef, .orf, .pef and .raf
- libwmf: Load .apm and .wmf
- installing graphite...
- Optional dependencies for graphite
- graphite-docs: Documentation
- installing harfbuzz...
- Optional dependencies for harfbuzz
- harfbuzz-utils: utilities
- installing fribidi...
- installing libdatrie...
- installing libthai...
- installing libxft...
- installing pango...
- installing librsvg...
- installing libdaemon...
- installing avahi...
- Optional dependencies for avahi
- gtk3: avahi-discover, avahi-discover-standalone, bshell, bssh, bvnc [pending]
- libevent: libevent bindings [installed]
- nss-mdns: NSS support for mDNS
- python-dbus: avahi-bookmarks, avahi-discover
- python-gobject: avahi-bookmarks, avahi-discover
- python-twisted: avahi-bookmarks
- installing libcups...
- installing jbig2dec...
- installing libpaper...
- installing ijs...
- installing openjpeg2...
- installing libidn...
- installing poppler-data...
- installing ghostscript...
- Optional dependencies for ghostscript
- gtk3: needed for gsx [pending]
- installing netpbm...
- installing gts...
- installing gsfonts...
- installing graphviz...
- Optional dependencies for graphviz
- mono: sharp bindings
- guile: guile bindings [installed]
- lua: lua bindings
- perl: perl bindings [installed]
- python: python bindings
- r: r bindings
- tcl: tcl bindings
- qt6-base: gvedit
- xterm: vimdot
- installing adwaita-fonts...
- installing adwaita-icon-theme-legacy...
- installing adwaita-cursors...
- installing adwaita-icon-theme...
- installing dconf...
- installing gsettings-system-schemas...
- installing gsettings-desktop-schemas...
- installing libxfixes...
- installing libxi...
- installing libxtst...
- installing xorg-xprop...
- installing at-spi2-core...
- installing desktop-file-utils...
- installing iso-codes...
- installing libcloudproviders...
- installing libcolord...
- installing libpciaccess...
- installing libdrm...
- Optional dependencies for libdrm
- cairo: needed for modetest tool [installed]
- installing libxshmfence...
- installing libxxf86vm...
- installing lm_sensors...
- Optional dependencies for lm_sensors
- rrdtool: for logging with sensord
- perl: for sensor detection and configuration convert [installed]
- installing spirv-tools...
- installing default-cursors...
- Optional dependencies for default-cursors
- adwaita-cursors: default cursor theme [installed]
- installing wayland...
- installing mesa...
- Optional dependencies for mesa
- opengl-man-pages: for the OpenGL API man pages
- installing libglvnd...
- installing libepoxy...
- installing libxcomposite...
- installing libxcursor...
- installing libxdamage...
- installing libxinerama...
- installing xkeyboard-config...
- installing libxkbcommon...
- Optional dependencies for libxkbcommon
- libxkbcommon-x11: xkbcli interactive-x11
- wayland: xkbcli interactive-wayland [installed]
- installing libxrandr...
- installing json-glib...
- installing duktape...
- installing libproxy...
- installing glib-networking...
- installing libsoup3...
- Optional dependencies for libsoup3
- samba: Windows Domain SSO
- installing libstemmer...
- installing tinysparql...
- installing gtk-update-icon-cache...
- installing gtk3...
- Optional dependencies for gtk3
- evince: Default print preview command
- installing gtksourceview3...
- installing llvm19...
- installing pkgconf...
- installing which...
- upgrading archlinux-keyring...
- ==> ERROR: There is no secret key available to sign with.
- ==> Use 'pacman-key --init' to generate a default secret key.
- error: command failed to execute correctly
- upgrading zlib-ng...
- upgrading git...
- :: Running post-transaction hooks...
- ( 1/15) Creating system user accounts...
- Creating group 'avahi' with GID 968.
- Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 968 and GID 968.
- ( 2/15) Reloading system manager configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- ( 3/15) Reloading user manager configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- ( 4/15) Updating the MIME type database...
- ( 5/15) Restarting marked services...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- ( 6/15) Arming ConditionNeedsUpdate...
- ( 7/15) Updating fontconfig configuration...
- ( 8/15) Reloading system bus configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- ( 9/15) Checking for old perl modules...
- (10/15) Updating fontconfig cache...
- (11/15) Updating GIO module cache...
- (12/15) Compiling GSettings XML schema files...
- (13/15) Probing GTK3 input method modules...
- (14/15) Updating icon theme caches...
- (15/15) Updating the desktop file MIME type cache...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved alt-ergo-free.2.2.0 (cached)
⬇ retrieved astring.0.8.5 (cached)
⬇ retrieved base.v0.16.4 (cached)
⬇ retrieved bos.0.2.1 (cached)
⬇ retrieved cairo2.0.6.5 (cached)
⬇ retrieved camlp-streams.5.0.1 (cached)
⬇ retrieved camlp5.8.04.00 (cached)
⬇ retrieved camlp5-buildscripts.0.06 (cached)
⬇ retrieved camlzip.1.13 (cached)
⬇ retrieved conf-cmake.1 (cached)
⬇ retrieved conf-gmp.5 (cached)
⬇ retrieved conf-libclang.19 (cached)
⬇ retrieved cppo.1.8.0 (cached)
⬇ retrieved csexp.1.5.2 (cached)
⬇ retrieved cstruct.6.2.0 (cached)
∗ installed conf-gmp.5
∗ installed conf-bash.1
∗ installed conf-cmake.1
∗ installed conf-which.1
∗ installed conf-perl.2
∗ installed conf-pkg-config.4
∗ installed conf-graphviz.0.1
∗ installed conf-autoconf.0.2
∗ installed conf-m4.1
⬇ retrieved ctypes.0.24.0 (cached)
∗ installed conf-clang.2
∗ installed conf-cairo.1
∗ installed conf-gtk3.18
∗ installed conf-gtksourceview3.0+2
∗ installed conf-libpcre2-8.2
∗ installed conf-zlib.1
∗ installed conf-libclang.19
⬇ retrieved dune.3.21.0, dune-configurator.3.21.0, dune-private-libs.3.21.0, dune-site.3.21.0, dyn.3.21.0, fs-io.3.21.0, ordering.3.21.0, stdune.3.21.0, top-closure.3.21.0 (cached)
⬇ retrieved dune-compiledb.0.6.0 (cached)
⬇ retrieved ezjsonm.1.3.0 (cached)
⬇ retrieved fmt.0.11.0 (cached)
⬇ retrieved fpath.0.7.3 (cached)
⬇ retrieved frama-c.32.0 (cached)
⬇ retrieved frama-clang.0.0.19 (cached)
⬇ retrieved hex.1.5.0 (cached)
⬇ retrieved integers.0.7.0 (cached)
⬇ retrieved jane-street-headers.v0.16.0 (cached)
⬇ retrieved jsonm.1.0.2 (cached)
⬇ retrieved jst-config.v0.16.0 (cached)
⬇ retrieved lablgtk3.3.1.5, lablgtk3-sourceview3.3.1.5 (cached)
⬇ retrieved logs.0.10.0 (cached)
⬇ retrieved menhir.20211128, menhirLib.20211128, menhirSdk.20211128 (cached)
⬇ retrieved not-ocamlfind.0.14 (cached)
⬇ retrieved num.1.6 (cached)
⬇ retrieved ocaml-compiler-libs.v0.12.4 (cached)
⬇ retrieved ocamlbuild.0.16.1 (cached)
⬇ retrieved ocamlfind.1.9.8 (cached)
⬇ retrieved ocamlgraph.2.2.0 (cached)
⬇ retrieved ocplib-simplex.0.4.1 (cached)
⬇ retrieved parsexp.v0.16.0 (cached)
⬇ retrieved pcre2.8.0.4 (cached)
⬇ retrieved pp.2.0.0 (cached)
⬇ retrieved ppx_assert.v0.16.0 (cached)
⬇ retrieved ppx_base.v0.16.0 (cached)
⬇ retrieved ppx_cold.v0.16.0 (cached)
⬇ retrieved ppx_compare.v0.16.0 (cached)
⬇ retrieved ppx_derivers.1.2.1 (cached)
⬇ retrieved ppx_deriving.6.0.3 (cached)
⬇ retrieved ppx_deriving_yaml.0.4.0 (cached)
⬇ retrieved ppx_deriving_yojson.3.9.1 (cached)
⬇ retrieved ppx_enumerate.v0.16.0 (cached)
⬇ retrieved ppx_globalize.v0.16.0 (cached)
⬇ retrieved ppx_hash.v0.16.0 (cached)
⬇ retrieved ppx_here.v0.16.0 (cached)
⬇ retrieved ppx_inline_test.v0.16.1 (cached)
⬇ retrieved ppx_optcomp.v0.16.0 (cached)
⬇ retrieved ppx_sexp_conv.v0.16.0 (cached)
⬇ retrieved ppxlib.0.35.0 (cached)
⬇ retrieved psmt2-frontend.0.1 (cached)
⬇ retrieved re.1.14.0 (cached)
⬇ retrieved rresult.0.7.0 (cached)
⬇ retrieved sexplib.v0.16.0 (cached)
⬇ retrieved sexplib0.v0.16.0 (cached)
⬇ retrieved stdio.v0.16.0 (cached)
⬇ retrieved stdlib-shims.0.3.0 (cached)
⬇ retrieved time_now.v0.16.0 (cached)
⬇ retrieved topkg.1.1.1 (cached)
⬇ retrieved unionFind.20220122 (cached)
⬇ retrieved uutf.1.0.4 (cached)
⬇ retrieved why3.1.8.2 (cached)
∗ installed num.1.6
⬇ retrieved yaml.3.2.0 (cached)
⬇ retrieved yojson.3.0.0 (cached)
⬇ retrieved zarith.1.14 (cached)
∗ installed ocamlfind.1.9.8
∗ installed ocamlbuild.0.16.1
∗ installed camlzip.1.13
∗ installed ocplib-simplex.0.4.1
∗ installed zarith.1.14
∗ installed topkg.1.1.1
∗ installed rresult.0.7.0
∗ installed uutf.1.0.4
∗ installed fmt.0.11.0
∗ installed astring.0.8.5
∗ installed jsonm.1.0.2
∗ installed logs.0.10.0
∗ installed fpath.0.7.3
∗ installed dune.3.21.0
∗ installed bos.0.2.1
∗ installed camlp-streams.5.0.1
∗ installed cppo.1.8.0
∗ installed csexp.1.5.2
∗ installed cstruct.6.2.0
∗ installed jane-street-headers.v0.16.0
∗ installed menhirLib.20211128
∗ installed menhirSdk.20211128
∗ installed ocaml-compiler-libs.v0.12.4
∗ installed ocamlgraph.2.2.0
∗ installed pp.2.0.0
∗ installed ppx_derivers.1.2.1
∗ installed re.1.14.0
∗ installed sexplib0.v0.16.0
∗ installed stdlib-shims.0.3.0
∗ installed unionFind.20220122
∗ installed yojson.3.0.0
∗ installed hex.1.5.0
∗ installed ezjsonm.1.3.0
∗ installed integers.0.7.0
∗ installed ordering.3.21.0
∗ installed parsexp.v0.16.0
∗ installed fs-io.3.21.0
∗ installed top-closure.3.21.0
∗ installed dune-configurator.3.21.0
∗ installed not-ocamlfind.0.14
∗ installed camlp5-buildscripts.0.06
∗ installed sexplib.v0.16.0
∗ installed dyn.3.21.0
∗ installed cairo2.0.6.5
∗ installed dune-compiledb.0.6.0
∗ installed pcre2.8.0.4
∗ installed base.v0.16.4
∗ installed stdune.3.21.0
∗ installed lablgtk3.3.1.5
∗ installed menhir.20211128
∗ installed stdio.v0.16.0
∗ installed ctypes.0.24.0
∗ installed dune-private-libs.3.21.0
∗ installed ppxlib.0.35.0
∗ installed lablgtk3-sourceview3.3.1.5
∗ installed yaml.3.2.0
∗ installed ppx_globalize.v0.16.0
∗ installed ppx_optcomp.v0.16.0
∗ installed dune-site.3.21.0
∗ installed ppx_cold.v0.16.0
∗ installed ppx_here.v0.16.0
∗ installed ppx_enumerate.v0.16.0
∗ installed ppx_compare.v0.16.0
∗ installed ppx_deriving_yaml.0.4.0
∗ installed ppx_deriving.6.0.3
∗ installed ppx_sexp_conv.v0.16.0
∗ installed psmt2-frontend.0.1
∗ installed ppx_hash.v0.16.0
∗ installed ppx_deriving_yojson.3.9.1
∗ installed ppx_assert.v0.16.0
∗ installed ppx_base.v0.16.0
∗ installed jst-config.v0.16.0
∗ installed time_now.v0.16.0
∗ installed ppx_inline_test.v0.16.1
∗ installed alt-ergo-free.2.2.0
∗ installed why3.1.8.2
∗ installed camlp5.8.04.00
∗ installed frama-c.32.0
∗ installed frama-clang.0.0.19
Done.
<><> frama-c.32.0 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> The Frama-C/WP plug-in requires one or more external prover(s).
Recommended provers are:
- Alt-Ergo (https://alt-ergo.ocamlpro.com)
- CVC4 (https://cvc4.github.io)
- CVC5 (https://cvc5.github.io)
- Z3 (https://github.com/Z3Prover/z3)
Use 'why3 config detect' to configure new provers.
=> Ivette is a new GUI for Frama-C, currently in development.
Run 'ivette' once to finalize installation (requires an internet connection).
Once finalized, 'ivette' will work offline.
Finalization also requires Node v20 or v22 and Yarn:
- install NVM (https://github.com/nvm-sh/nvm)
- run 'nvm install 22'
- run 'nvm use 22'
- run 'npm install --global yarn'
# To update the current shell environment, run: eval $(opam env)
2026-02-05 07:30.53 ---> saved as "d2d123d719e13dfd68a7bd969880a7ff73120e457bb67c93484849bea5cbd1d6"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test frama-clang.0.0.19) || true"))
The following actions will be performed:
=== remove 1 package
⊘ alt-ergo-free 2.2.0 [conflicts with ocplib-simplex]
=== recompile 3 packages
↻ frama-c 32.0 [uses menhir]
↻ frama-clang 0.0.19 (pinned)
↻ why3 1.8.2 [uses menhir]
=== upgrade 5 packages
↗ menhir 20211128 to 20260122 [uses menhirLib, menhirSdk]
↗ menhirLib 20211128 to 20260122
↗ menhirSdk 20211128 to 20260122
↗ ocplib-simplex 0.4.1 to 0.5.1
↗ psmt2-frontend 0.1 to 0.4.0 [uses menhir]
=== install 3 packages
∗ alt-ergo 1.01 [required by frama-c] This release is too old. Please consider using version 1.30 that fixes many soundness bugs and brings a lot of improvements
∗ menhirCST 20260122 [required by menhir]
∗ menhirGLR 20260122 [required by menhir]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved alt-ergo.1.01 (https://opam.ocaml.org/cache)
⬇ retrieved alt-ergo-free.2.2.0 (https://opam.ocaml.org/cache)
⬇ retrieved frama-c.32.0 (https://opam.ocaml.org/cache)
⊘ removed frama-clang.0.0.19
⊘ removed frama-c.32.0
⬇ retrieved menhir.20260122, menhirCST.20260122, menhirGLR.20260122, menhirLib.20260122, menhirSdk.20260122 (https://opam.ocaml.org/cache)
⬇ retrieved ocplib-simplex.0.5.1 (https://opam.ocaml.org/cache)
⬇ retrieved psmt2-frontend.0.4.0 (https://opam.ocaml.org/cache)
⬇ retrieved why3.1.8.2 (https://opam.ocaml.org/cache)
⊘ removed alt-ergo-free.2.2.0
⊘ removed ocplib-simplex.0.4.1
⊘ removed psmt2-frontend.0.1
⊘ removed why3.1.8.2
⊘ removed menhir.20211128
⊘ removed menhirLib.20211128
⊘ removed menhirSdk.20211128
∗ installed ocplib-simplex.0.5.1
∗ installed menhirCST.20260122
∗ installed menhirGLR.20260122
∗ installed menhirLib.20260122
∗ installed menhirSdk.20260122
∗ installed menhir.20260122
∗ installed alt-ergo.1.01
∗ installed psmt2-frontend.0.4.0
∗ installed why3.1.8.2
∗ installed frama-c.32.0
∗ installed frama-clang.0.0.19
Done.
<><> frama-c.32.0 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> The Frama-C/WP plug-in requires one or more external prover(s).
Recommended provers are:
- Alt-Ergo (https://alt-ergo.ocamlpro.com)
- CVC4 (https://cvc4.github.io)
- CVC5 (https://cvc5.github.io)
- Z3 (https://github.com/Z3Prover/z3)
Use 'why3 config detect' to configure new provers.
=> Ivette is a new GUI for Frama-C, currently in development.
Run 'ivette' once to finalize installation (requires an internet connection).
Once finalized, 'ivette' will work offline.
Finalization also requires Node v20 or v22 and Yarn:
- install NVM (https://github.com/nvm-sh/nvm)
- run 'nvm install 22'
- run 'nvm use 22'
- run 'npm install --global yarn'
# To update the current shell environment, run: eval $(opam env)
2026-02-05 07:33.30 ---> saved as "f2fa64a07e78621ce15023f15a08ba7cbfb93b95776219feab06a52285a7424d"
/home/opam: (run (shell "opam reinstall --with-test --verbose frama-clang.0.0.19;\
\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\" != 'frama-clang.0.0.19' && 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 1 package
↻ frama-clang 0.0.19 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/4: [frama-clang: env dune]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "env" "OPAM_LLVM_CONFIG=/usr/sbin/llvm-config-19" "dune" "build" "-p" "frama-clang" "-j" "255" "--promote-install-files=false" "@install" "@runtest" (CWD=/home/opam/.opam/4.14/.opam-switch/build/frama-clang.0.0.19)
- (cd _build/default/framaCIRGen_src && ./build.sh)
- -- The C compiler identification is GNU 15.2.1
- -- The CXX compiler identification is GNU 15.2.1
- -- Detecting C compiler ABI info
- -- Detecting C compiler ABI info - done
- -- Check for working C compiler: /usr/sbin/cc - skipped
- -- Detecting C compile features
- -- Detecting C compile features - done
- -- Detecting CXX compiler ABI info
- -- Detecting CXX compiler ABI info - done
- -- Check for working CXX compiler: /usr/sbin/c++ - skipped
- -- Detecting CXX compile features
- -- Detecting CXX compile features - done
- -- Performing Test HAVE_FFI_CALL
- -- Performing Test HAVE_FFI_CALL - Success
- -- Found FFI: /usr/lib/libffi.so
- -- Looking for histedit.h
- -- Looking for histedit.h - found
- -- Found LibEdit: /usr/include (found version "2.11")
- -- Found ZLIB: /usr/lib/libz.so (found version "1.3.1")
- -- Performing Test CMAKE_HAVE_LIBC_PTHREAD
- -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Success
- -- Found Threads: TRUE
- -- Found LibXml2: /usr/lib/libxml2.so (found version "2.15.1")
- -- Found CURL: /usr/lib/libcurl.so (found version "8.18.0")
- -- Linker detection: GNU ld
- -- Configuring done (2.1s)
- -- Generating done (0.0s)
- -- Build files have been written to: /home/opam/.opam/4.14/.opam-switch/build/frama-clang.0.0.19/_build/default/framaCIRGen_src
- [ 9%] Building CXX object CMakeFiles/framaCIRGen.dir/DescentParse.cpp.o
- [ 9%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLCodeAnnotation.cpp.o
- [ 13%] Building CXX object CMakeFiles/framaCIRGen.dir/MapLogicType.cpp.o
- [ 18%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLFunctionContract.cpp.o
- [ 22%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLLexer.cpp.o
- [ 27%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLStatementAnnotation.cpp.o
- [ 31%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLGlobalAnnotation.cpp.o
- [ 36%] Building CXX object CMakeFiles/framaCIRGen.dir/Clang_utils.cpp.o
- [ 45%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLComponent.cpp.o
- [ 45%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLComment.cpp.o
- [ 50%] Building CXX object CMakeFiles/framaCIRGen.dir/VisitTable.cpp.o
- [ 54%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLToken.cpp.o
- [ 63%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLLoopAnnotation.cpp.o
- [ 63%] Building CXX object CMakeFiles/framaCIRGen.dir/RTTITable.cpp.o
- [ 68%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLParser.cpp.o
- [ 72%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLTermOrPredicate.cpp.o
- [ 77%] Building CXX object CMakeFiles/framaCIRGen.dir/FramaCAttributes.cpp.o
- [ 81%] Building CXX object CMakeFiles/framaCIRGen.dir/FramaCIRGen.cpp.o
- [ 86%] Building CXX object CMakeFiles/framaCIRGen.dir/ACSLLogicType.cpp.o
- [ 90%] Building CXX object CMakeFiles/framaCIRGen.dir/ClangVisitor.cpp.o
- [ 95%] Building C object CMakeFiles/framaCIRGen.dir/intermediate_format.c.o
- [100%] Linking CXX executable framaCIRGen
- [100%] Built target framaCIRGen
Processing 2/4: [frama-clang: dune install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "install" "-p" "frama-clang" "--create-install-files" "frama-clang" (CWD=/home/opam/.opam/4.14/.opam-switch/build/frama-clang.0.0.19)
λ compiled frama-clang.0.0.19
⊘ removed frama-clang.0.0.19
∗ installed frama-clang.0.0.19
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-05 07:34.06 ---> saved as "28da01eb3a82939e6557b367f5f7757d816750869d344be9647fc780cb54ec13"
Job succeeded
2026-02-05 07:34.14: Job succeeded