- github
- ocaml
- opam-repository
- 54f70d
- distributions,archlinux-ocaml-5.4,frama-clang.0.0.19~beta
(not at the head of any monitored branch or PR)
2025-11-27 22:17.45: New job: build frama-clang.0.0.19~beta, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/28843/head (54f70dbf3bc6d5a86217e550916b1400ce7f19db)
on archlinux-ocaml-5.4/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/28843/head" && git reset --hard 54f70dbf
git fetch origin master
git merge --no-edit eb45f7ec868b0ffc828b9d59cccc72cfec100333
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:archlinux-ocaml-5.4@sha256:e63f56eaa110f150122855005e08e267f4be66f4760d39159c1a712d88b74d45
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~beta 0.0.19~beta
RUN opam reinstall frama-clang.0.0.19~beta; \
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~beta' && 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-27 22:17.45: Using cache hint "ocaml/opam:archlinux-ocaml-5.4@sha256:e63f56eaa110f150122855005e08e267f4be66f4760d39159c1a712d88b74d45-frama-clang.0.0.19~beta-54f70dbf3bc6d5a86217e550916b1400ce7f19db"
2025-11-27 22:17.45: Using OBuilder spec:
((from ocaml/opam:archlinux-ocaml-5.4@sha256:e63f56eaa110f150122855005e08e267f4be66f4760d39159c1a712d88b74d45)
(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~beta 0.0.19~beta"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall frama-clang.0.0.19~beta;\
\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~beta' && 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-27 22:17.45: Waiting for resource in pool OCluster
2025-11-27 22:17.45: Waiting for worker…
2025-11-27 22:18.57: Got resource from pool OCluster
Building on laodoke.caelum.ci.dev
All commits already cached
Updating files: 76% (14512/18911)
Updating files: 77% (14562/18911)
Updating files: 78% (14751/18911)
Updating files: 79% (14940/18911)
Updating files: 80% (15129/18911)
Updating files: 81% (15318/18911)
Updating files: 82% (15508/18911)
Updating files: 83% (15697/18911)
Updating files: 84% (15886/18911)
Updating files: 85% (16075/18911)
Updating files: 86% (16264/18911)
Updating files: 87% (16453/18911)
Updating files: 88% (16642/18911)
Updating files: 89% (16831/18911)
Updating files: 90% (17020/18911)
Updating files: 91% (17210/18911)
Updating files: 92% (17399/18911)
Updating files: 93% (17588/18911)
Updating files: 94% (17777/18911)
Updating files: 95% (17966/18911)
Updating files: 96% (18155/18911)
Updating files: 97% (18344/18911)
Updating files: 98% (18533/18911)
Updating files: 99% (18722/18911)
Updating files: 100% (18911/18911)
Updating files: 100% (18911/18911), done.
HEAD is now at eb45f7ec86 Merge pull request #28982 from dinosaure/release-dkim-v0.9.0
Merge made by the 'ort' strategy.
packages/frama-clang/frama-clang.0.0.19~beta/opam | 47 +++++++++++++++++++++++
1 file changed, 47 insertions(+)
create mode 100644 packages/frama-clang/frama-clang.0.0.19~beta/opam
(from ocaml/opam:archlinux-ocaml-5.4@sha256:e63f56eaa110f150122855005e08e267f4be66f4760d39159c1a712d88b74d45)
2025-11-27 22:19.00 ---> using "ad673b140b71fa3b00223dd1cfd4d3eb02bf139fec41b52a88cedff242929861" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-11-27 22:19.00 ---> using "09629860dd05db097a6c6a2e09048f481cb25a505cfab4fe1b60bd31ba6133e7" 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.0 to version 2.2, 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-27 22:19.00 ---> using "74981b4f8aad8c6c4f443b09e1b2cff798c1fa2d86b9d3a9fe228bde51bb8b51" 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.0~rc1
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=arch os-version=20251019.0.436919
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2025-11-27 22:19.00 ---> using "7906cafc3b41a7862e9a35a29699275c366c6e5451d3ad1c4d55a49082e63327" 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-27 22:19.00 ---> using "9af57d7d2cecf0415e605df906345e789d418a674cc49552019619ceafb48d64" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-11-27 22:19.11 ---> saved as "2ad5ba250f7577feab45f79d6358867f51699ab17d5440eb7cf049b56e8b131d"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-11-27 22:19.43 ---> saved as "e3340004d45b8d5dce3c0123402d95f211c196e172c4156ae9bc5a27c5834a3c"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/sbin/sudo "pacman" "-Sy"
- :: Synchronizing package databases...
- core downloading...
- extra downloading...
2025-11-27 22:19.45 ---> saved as "93088eb7404cbd3fa9a27ef0c0bc8f6fd84a79858bb1048dcae4e612dadcb61a"
/home/opam: (run (shell "opam pin add -k version -yn frama-clang.0.0.19~beta 0.0.19~beta"))
frama-clang is now pinned to version 0.0.19~beta
2025-11-27 22:19.47 ---> saved as "fd1affcf4e9af005fe1a32b988453ec071959017a0159ed203fcb38f65cac1b8"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall frama-clang.0.0.19~beta;\
\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~beta' && 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~beta is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 109 packages
∗ alt-ergo 2.6.2 [required by frama-c]
∗ alt-ergo-lib 2.6.2 [required by alt-ergo]
∗ alt-ergo-parsers 2.6.2 [required by alt-ergo]
∗ astring 0.8.5 [required by bos]
∗ base v0.17.3 [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]
∗ cmdliner 1.3.0 [required by alt-ergo]
∗ 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]
∗ cstruct 6.2.0 [required by hex]
∗ ctypes 0.24.0 [required by yaml]
∗ dolmen 0.10 [required by alt-ergo-lib]
∗ dolmen_loop 0.10 [required by alt-ergo-lib]
∗ dolmen_type 0.10 [required by alt-ergo-lib]
∗ dune 3.20.2 [required by frama-clang]
∗ dune-build-info 3.20.2 [required by alt-ergo-lib]
∗ dune-compiledb 0.6.0 [required by pcre2]
∗ dune-configurator 3.20.2 [required by frama-c]
∗ dune-private-libs 3.20.2 [required by dune-site]
∗ dune-site 3.20.2 [required by frama-c]
∗ dyn 3.20.2 [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~beta [required by frama-clang]
∗ frama-clang 0.0.19~beta (pinned)
∗ gen 1.1 [required by dolmen_loop]
∗ hex 1.5.0 [required by ezjsonm]
∗ hmap 0.8.1 [required by dolmen]
∗ integers 0.7.0 [required by ctypes]
∗ jane-street-headers v0.17.0 [required by time_now]
∗ jsonm 1.0.2 [required by ezjsonm]
∗ jst-config v0.17.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 20250912 [required by frama-c]
∗ menhirCST 20250912 [required by menhir]
∗ menhirLib 20250912 [required by menhir]
∗ menhirSdk 20250912 [required by menhir]
∗ not-ocamlfind 0.14 [required by camlp5-buildscripts]
∗ num 1.6 [required by sexplib]
∗ ocaml-compiler-libs v0.17.0 [required by ppxlib]
∗ ocaml_intrinsics_kernel v0.17.1 [required by base]
∗ 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.5.1 [required by alt-ergo-lib]
∗ ordering 3.20.2 [required by dyn, stdune]
∗ parsexp v0.17.0 [required by sexplib]
∗ pcre2 8.0.4 [required by camlp5]
∗ pp 2.0.0 [required by dune-private-libs]
∗ pp_loc 2.1.0 [required by dolmen_loop]
∗ ppx_assert v0.17.0 [required by jst-config]
∗ ppx_base v0.17.0 [required by time_now]
∗ ppx_blob 0.9.0 [required by alt-ergo-lib]
∗ ppx_cold v0.17.0 [required by ppx_base]
∗ ppx_compare v0.17.0 [required by ppx_base]
∗ ppx_derivers 1.2.1 [required by ppx_deriving]
∗ ppx_deriving 6.1.1 [required by frama-c]
∗ ppx_deriving_yaml 0.4.1 [required by frama-c]
∗ ppx_deriving_yojson 3.10.0 [required by frama-c]
∗ ppx_enumerate v0.17.0 [required by ppx_base]
∗ ppx_globalize v0.17.2 [required by ppx_base]
∗ ppx_hash v0.17.0 [required by ppx_base]
∗ ppx_here v0.17.0 [required by ppx_assert]
∗ ppx_inline_test v0.17.1 [required by frama-c]
∗ ppx_optcomp v0.17.1 [required by time_now]
∗ ppx_sexp_conv v0.17.1 [required by why3]
∗ ppxlib 0.37.0 [required by frama-c]
∗ ppxlib_jane v0.17.4 [required by ppx_globalize, ppx_enumerate, ppx_hash]
∗ psmt2-frontend 0.4.0 [required by alt-ergo-parsers]
∗ re 1.14.0 [required by camlp5]
∗ rresult 0.7.0 [required by camlp5]
∗ seq base [required by alt-ergo-lib]
∗ sexplib v0.17.0 [required by why3]
∗ sexplib0 v0.17.0 [required by dune-compiledb, base]
∗ spelll 0.4 [required by dolmen_type]
∗ stdio v0.17.0 [required by ppx_optcomp]
∗ stdlib-shims 0.3.0 [required by alt-ergo-lib, alt-ergo-parsers]
∗ stdune 3.20.2 [required by dune-private-libs]
∗ time_now v0.17.0 [required by ppx_inline_test]
∗ topkg 1.1.1 [required by bos]
∗ unionFind 20250818 [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:
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" "cairo" "clang" "clang19" "cmake" "graphviz" "gtk3" "gtksourceview3" "llvm19" "m4" "pkgconf" "which"
- :: Starting full system upgrade...
- resolving dependencies...
- looking for conflicting packages...
- warning: dependency cycle detected:
- warning: glycin will be installed before its librsvg dependency
- warning: dependency cycle detected:
- warning: mesa will be installed before its libglvnd dependency
-
- Package (126) 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-1 9.16 MiB 2.91 MiB
- extra/at-spi2-core 2.58.2-1 3.97 MiB 0.56 MiB
- extra/avahi 1:0.9rc2-1 1.94 MiB 0.42 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
- extra/cppdap 1.58.0-2 1.55 MiB 0.32 MiB
- extra/dav1d 1.5.2-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
- core/device-mapper 2.03.36-2 2.03.37-1 0.00 MiB 0.28 MiB
- extra/duktape 2.7.0-7 0.78 MiB 0.17 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-1 2.52.0-2 0.00 MiB 6.81 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
- core/gnutls 3.8.10-1 3.8.11-2 0.03 MiB 1.77 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.2.0-2 4.37 MiB 1.13 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.19.0-1 22.22 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/lcms2 2.17-1 0.67 MiB 0.21 MiB
- extra/libavif 1.3.0-3 0.74 MiB 0.26 MiB
- extra/libcloudproviders 0.3.6-2 0.47 MiB 0.06 MiB
- extra/libcolord 1.4.8-1 1.24 MiB 0.18 MiB
- extra/libcups 2:2.4.15-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.24-1 0.14 MiB 0.06 MiB
- extra/libdrm 2.4.129-1 1.27 MiB 0.34 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.20.2-3 2.06 MiB 0.63 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.2-1 2.42 MiB 0.56 MiB
- extra/libjxl 0.11.1-5 9.74 MiB 2.20 MiB
- core/libnghttp3 1.12.0-1 1.13.1-1 0.01 MiB 0.07 MiB
- extra/libpaper 2.2.6-1 0.16 MiB 0.05 MiB
- extra/libpciaccess 0.18.1-2 0.06 MiB 0.02 MiB
- extra/libpng 1.6.51-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.29-3 1.22 MiB 0.27 MiB
- extra/libtiff 4.7.1-1 1.26 MiB 0.38 MiB
- core/libtool 2.6.0-1 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.6-2 0.02 MiB 0.01 MiB
- extra/libxcursor 1.2.3-1 0.07 MiB 0.03 MiB
- extra/libxdamage 1.1.6-2 0.02 MiB 0.01 MiB
- extra/libxext 1.3.6-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.5-2 0.02 MiB 0.01 MiB
- extra/libxkbcommon 1.13.0-1 1.03 MiB 0.27 MiB
- extra/libxpm 3.5.17-2 0.16 MiB 0.07 MiB
- extra/libxrandr 1.5.4-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.6-1 0.03 MiB 0.02 MiB
- extra/libyuv r2426+464c51a03-1 1.82 MiB 0.30 MiB
- extra/llvm-libs 21.1.6-1 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.2.7-1 44.44 MiB 11.21 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.328.1-1 7.43 MiB 1.87 MiB
- extra/svt-av1 3.1.2-1 5.62 MiB 1.96 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/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/cairo 1.18.4-1 1.59 MiB 0.61 MiB
- extra/clang 21.1.6-1 217.19 MiB 48.79 MiB
- extra/clang19 19.1.7-1 208.88 MiB 44.32 MiB
- extra/cmake 4.2.0-1 92.90 MiB 13.77 MiB
- extra/graphviz 14.0.4-1 10.74 MiB 3.76 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: 310.10 MiB
- Total Installed Size: 1436.10 MiB
- Net Upgrade Size: 1397.45 MiB
-
- :: Proceed with installation? [Y/n]
- :: Retrieving packages...
- clang-21.1.6-1-x86_64 downloading...
- clang19-19.1.7-1-x86_64 downloading...
- llvm-libs-21.1.6-1-x86_64 downloading...
- llvm19-libs-19.1.7-2-x86_64 downloading...
- ghostscript-10.06.0-1-x86_64 downloading...
- cmake-4.2.0-1-x86_64 downloading...
- llvm19-19.1.7-2-x86_64 downloading...
- mesa-1:25.2.7-1-x86_64 downloading...
- gtk3-1:3.24.51-1-x86_64 downloading...
- git-2.52.0-2-x86_64 downloading...
- glycin-2.0.7-1-x86_64 downloading...
- graphviz-14.0.4-1-x86_64 downloading...
- compiler-rt-21.1.6-1-x86_64 downloading...
- iso-codes-4.19.0-1-any downloading...
- compiler-rt19-19.1.7-1-x86_64 downloading...
- aom-3.13.1-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...
- svt-av1-3.1.2-1-x86_64 downloading...
- x265-4.1-1-x86_64 downloading...
- poppler-data-0.4.12-2-any downloading...
- spirv-tools-1:1.4.328.1-1-x86_64 downloading...
- gnutls-3.8.11-2-x86_64 downloading...
- rav1e-0.8.1-2-x86_64 downloading...
- gsfonts-20200910-6-any downloading...
- netpbm-10.86.48-1-x86_64 downloading...
- highway-1.3.0-1-x86_64 downloading...
- harfbuzz-12.2.0-2-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...
- openh264-2.6.0-1-x86_64 downloading...
- libheif-1.20.2-3-x86_64 downloading...
- dav1d-1.5.2-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.2-1-x86_64 downloading...
- libjpeg-turbo-3.1.2-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.9rc2-1-x86_64 downloading...
- libtool-2.6.0-1-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.129-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...
- 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...
- device-mapper-2.03.37-1-x86_64 downloading...
- libthai-0.1.29-3-x86_64 downloading...
- libxkbcommon-1.13.0-1-x86_64 downloading...
- libcups-2:2.4.15-1-x86_64 downloading...
- m4-1.4.20-1-x86_64 downloading...
- libavif-1.3.0-3-x86_64 downloading...
- libde265-1.0.16-2-x86_64 downloading...
- libuv-1.51.0-1-x86_64 downloading...
- libpng-1.6.51-1-x86_64 downloading...
- lcms2-2.17-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...
- libedit-20250104_3.1-1-x86_64 downloading...
- libdatrie-0.2.14-1-x86_64 downloading...
- dconf-0.49.0-1-x86_64 downloading...
- libxext-1.3.6-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 downloading...
- libnghttp3-1.13.1-1-x86_64 downloading...
- pkgconf-2.5.1-1-x86_64 downloading...
- libxpm-3.5.17-2-x86_64 downloading...
- fribidi-1.0.16-2-x86_64 downloading...
- libcloudproviders-0.3.6-2-x86_64 downloading...
- libdeflate-1.24-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.6-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.4-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.6-1-x86_64 downloading...
- libxfixes-6.0.2-1-x86_64 downloading...
- hicolor-icon-theme-0.18-1-any downloading...
- libxcomposite-0.4.6-2-x86_64 downloading...
- libxinerama-1.1.5-2-x86_64 downloading...
- libxdamage-1.1.6-2-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 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 libnghttp3...
- 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 x265...
- installing libheif...
- Optional dependencies for libheif
- libjpeg-turbo: for heif-convert and heif-enc [installed]
- libpng: for heif-convert and heif-enc [installed]
- 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...
- upgrading gnutls...
- 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 m4...
- installing pkgconf...
- installing which...
- upgrading device-mapper...
- upgrading git...
- :: Running post-transaction hooks...
- ( 1/16) Creating system user accounts...
- Creating group 'avahi' with GID 969.
- Creating user 'avahi' (Avahi mDNS/DNS-SD daemon) with UID 969 and GID 969.
- ( 2/16) Reloading system manager configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- ( 3/16) Reloading user manager configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- ( 4/16) Restarting marked services...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- ( 5/16) Reloading device manager configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- ( 6/16) Arming ConditionNeedsUpdate...
- ( 7/16) Updating the MIME type database...
- ( 8/16) Updating fontconfig configuration...
- ( 9/16) Reloading system bus configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- (10/16) Checking for old perl modules...
- (11/16) Updating fontconfig cache...
- (12/16) Updating GIO module cache...
- (13/16) Compiling GSettings XML schema files...
- (14/16) Probing GTK3 input method modules...
- (15/16) Updating icon theme caches...
- (16/16) Updating the desktop file MIME type cache...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved alt-ergo.2.6.2, alt-ergo-lib.2.6.2, alt-ergo-parsers.2.6.2 (cached)
⬇ retrieved astring.0.8.5 (cached)
⬇ retrieved base.v0.17.3 (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 cmdliner.1.3.0 (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)
∗ installed conf-which.1
∗ installed conf-pkg-config.4
∗ installed conf-bash.1
∗ installed conf-cmake.1
∗ installed conf-clang.2
∗ installed conf-gmp.5
∗ installed conf-graphviz.0.1
∗ installed conf-m4.1
∗ installed conf-perl.2
⬇ retrieved cstruct.6.2.0 (cached)
∗ installed conf-gtk3.18
∗ installed conf-cairo.1
∗ installed conf-gtksourceview3.0+2
∗ installed conf-libpcre2-8.2
∗ installed conf-zlib.1
⬇ retrieved ctypes.0.24.0 (cached)
⬇ retrieved dolmen.0.10, dolmen_loop.0.10, dolmen_type.0.10 (cached)
∗ installed conf-libclang.19
⬇ retrieved dune.3.20.2, dune-build-info.3.20.2, dune-configurator.3.20.2, dune-private-libs.3.20.2, dune-site.3.20.2, dyn.3.20.2, ordering.3.20.2, stdune.3.20.2 (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)
∗ installed cmdliner.1.3.0
⬇ retrieved frama-c.32.0~beta (cached)
⬇ retrieved frama-clang.0.0.19~beta (cached)
⬇ retrieved gen.1.1 (cached)
⬇ retrieved hex.1.5.0 (cached)
⬇ retrieved hmap.0.8.1 (cached)
⬇ retrieved integers.0.7.0 (cached)
⬇ retrieved jane-street-headers.v0.17.0 (cached)
⬇ retrieved jsonm.1.0.2 (cached)
⬇ retrieved jst-config.v0.17.0 (cached)
⬇ retrieved lablgtk3.3.1.5, lablgtk3-sourceview3.3.1.5 (cached)
⬇ retrieved logs.0.10.0 (cached)
⬇ retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
⬇ retrieved not-ocamlfind.0.14 (cached)
⬇ retrieved num.1.6 (cached)
⬇ retrieved ocaml-compiler-libs.v0.17.0 (cached)
⬇ retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
⬇ retrieved ocamlbuild.0.16.1 (cached)
⬇ retrieved ocamlfind.1.9.8 (cached)
⬇ retrieved ocamlgraph.2.2.0 (cached)
⬇ retrieved ocplib-simplex.0.5.1 (cached)
⬇ retrieved parsexp.v0.17.0 (cached)
⬇ retrieved pcre2.8.0.4 (cached)
⬇ retrieved pp.2.0.0 (cached)
⬇ retrieved pp_loc.2.1.0 (cached)
⬇ retrieved ppx_assert.v0.17.0 (cached)
⬇ retrieved ppx_base.v0.17.0 (cached)
⬇ retrieved ppx_blob.0.9.0 (cached)
⬇ retrieved ppx_cold.v0.17.0 (cached)
⬇ retrieved ppx_compare.v0.17.0 (cached)
⬇ retrieved ppx_derivers.1.2.1 (cached)
⬇ retrieved ppx_deriving.6.1.1 (cached)
⬇ retrieved ppx_deriving_yaml.0.4.1 (cached)
⬇ retrieved ppx_deriving_yojson.3.10.0 (cached)
⬇ retrieved ppx_enumerate.v0.17.0 (cached)
⬇ retrieved ppx_globalize.v0.17.2 (cached)
⬇ retrieved ppx_hash.v0.17.0 (cached)
⬇ retrieved ppx_here.v0.17.0 (cached)
⬇ retrieved ppx_inline_test.v0.17.1 (cached)
⬇ retrieved ppx_optcomp.v0.17.1 (cached)
⬇ retrieved ppx_sexp_conv.v0.17.1 (cached)
⬇ retrieved ppxlib.0.37.0 (cached)
⬇ retrieved ppxlib_jane.v0.17.4 (cached)
⬇ retrieved psmt2-frontend.0.4.0 (cached)
⬇ retrieved re.1.14.0 (cached)
⬇ retrieved rresult.0.7.0 (cached)
⬇ retrieved seq.base (cached)
∗ installed seq.base
⬇ retrieved sexplib.v0.17.0 (cached)
⬇ retrieved sexplib0.v0.17.0 (cached)
⬇ retrieved spelll.0.4 (cached)
⬇ retrieved stdio.v0.17.0 (cached)
⬇ retrieved stdlib-shims.0.3.0 (cached)
⬇ retrieved time_now.v0.17.0 (cached)
⬇ retrieved topkg.1.1.1 (cached)
⬇ retrieved unionFind.20250818 (cached)
⬇ retrieved uutf.1.0.4 (cached)
⬇ retrieved why3.1.8.2 (cached)
⬇ retrieved yaml.3.2.0 (cached)
⬇ retrieved yojson.3.0.0 (cached)
⬇ retrieved zarith.1.14 (cached)
∗ installed num.1.6
∗ installed ocamlfind.1.9.8
∗ installed camlzip.1.13
∗ installed ocamlbuild.0.16.1
∗ installed zarith.1.14
∗ installed topkg.1.1.1
∗ installed hmap.0.8.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 fpath.0.7.3
∗ installed logs.0.10.0
∗ installed dune.3.20.2
∗ 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 gen.1.1
∗ installed jane-street-headers.v0.17.0
∗ installed menhirCST.20250912
∗ installed menhirLib.20250912
∗ installed menhirSdk.20250912
∗ installed ocaml-compiler-libs.v0.17.0
∗ installed ocaml_intrinsics_kernel.v0.17.1
∗ installed ocamlgraph.2.2.0
∗ installed ocplib-simplex.0.5.1
∗ installed pp.2.0.0
∗ installed pp_loc.2.1.0
∗ installed ppx_derivers.1.2.1
∗ installed re.1.14.0
∗ installed sexplib0.v0.17.0
∗ installed stdlib-shims.0.3.0
∗ installed unionFind.20250818
∗ installed yojson.3.0.0
∗ installed hex.1.5.0
∗ installed spelll.0.4
∗ installed ezjsonm.1.3.0
∗ installed integers.0.7.0
∗ installed dune-build-info.3.20.2
∗ installed ordering.3.20.2
∗ installed parsexp.v0.17.0
∗ installed dune-configurator.3.20.2
∗ installed not-ocamlfind.0.14
∗ installed camlp5-buildscripts.0.06
∗ installed sexplib.v0.17.0
∗ installed dyn.3.20.2
∗ installed dune-compiledb.0.6.0
∗ installed pcre2.8.0.4
∗ installed cairo2.0.6.5
∗ installed stdune.3.20.2
∗ installed base.v0.17.3
∗ installed ctypes.0.24.0
∗ installed lablgtk3.3.1.5
∗ installed stdio.v0.17.0
∗ installed dune-private-libs.3.20.2
∗ installed lablgtk3-sourceview3.3.1.5
∗ installed dune-site.3.20.2
∗ installed yaml.3.2.0
∗ installed menhir.20250912
∗ installed psmt2-frontend.0.4.0
∗ installed ppxlib.0.37.0
∗ installed ppx_optcomp.v0.17.1
∗ installed ppxlib_jane.v0.17.4
∗ installed ppx_cold.v0.17.0
∗ installed ppx_blob.0.9.0
∗ installed ppx_here.v0.17.0
∗ installed ppx_deriving_yaml.0.4.1
∗ installed ppx_enumerate.v0.17.0
∗ installed ppx_globalize.v0.17.2
∗ installed ppx_deriving.6.1.1
∗ installed ppx_compare.v0.17.0
∗ installed ppx_sexp_conv.v0.17.1
∗ installed ppx_deriving_yojson.3.10.0
∗ installed dolmen.0.10
∗ installed ppx_hash.v0.17.0
∗ installed ppx_assert.v0.17.0
∗ installed ppx_base.v0.17.0
∗ installed dolmen_type.0.10
∗ installed jst-config.v0.17.0
∗ installed dolmen_loop.0.10
∗ installed time_now.v0.17.0
∗ installed ppx_inline_test.v0.17.1
∗ installed alt-ergo-lib.2.6.2
∗ installed alt-ergo-parsers.2.6.2
∗ installed alt-ergo.2.6.2
∗ installed why3.1.8.2
∗ installed camlp5.8.04.00
∗ installed frama-c.32.0~beta
∗ installed frama-clang.0.0.19~beta
Done.
<><> frama-c.32.0~beta 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)
2025-11-27 22:28.44 ---> saved as "aa587a6f035ceb0e59966ca9aab3337192cfe86e00c0e8dda48995f8d9e3f170"
Job succeeded
2025-11-27 22:28.55: Job succeeded