fedora-43-5.4_opam-2.5

2026-04-16 16:38.55: New job: test edwintorok/lintcstubs https://github.com/edwintorok/lintcstubs.git#refs/heads/main (40a26171abacd31dc3f21e2da62d9374a9e1e66b) (linux-x86_64:fedora-43-5.4_opam-2.5)
Base: ocaml/opam:fedora-43-ocaml-5.4@sha256:1e9dda7946898ac0fc2707683dc6e9df38da5cce0d82ff3862f12ad24cdd353b
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/edwintorok/lintcstubs.git" -b "main" && cd "lintcstubs" && git reset --hard 40a26171
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:fedora-43-ocaml-5.4@sha256:1e9dda7946898ac0fc2707683dc6e9df38da5cce0d82ff3862f12ad24cdd353b
# fedora-43-5.4_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo dnf install -y findutils
RUN sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 || git fetch origin master) && git reset -q --hard 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 lintcstubs.opam lintcstubs-gen.opam ./
RUN opam pin add -yn lintcstubs.dev './' && \
opam pin add -yn lintcstubs-gen.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="angstrom.0.16.1 arg-complete.0.2.1 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base batteries.3.10.0 bigstringaf.0.10.0 bos.0.2.1 camlp-streams.5.0.1 catapult.0.2 catapult-file.0.2 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-graphviz.0.1 conf-perl.2 conf-pkg-config.4 cppo.1.8.0 cpu.2.0.0 csexp.1.5.2 cstruct.6.2.0 ctypes.0.24.0 domain-local-await.1.0.1 domain_shims.0.1.0 dune.3.22.2 dune-build-info.3.22.2 dune-compiledb.0.6.0 dune-configurator.3.22.2 dune-private-libs.3.22.2 dune-site.3.22.2 dyn.3.22.2 ezjsonm.1.3.0 fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 fs-io.3.22.2 goblint.2.7.1 goblint-cil.2.0.9 hex.1.5.0 integers.0.7.0 json-data-encoding.1.0.1 jsonm.1.0.2 jsonrpc.1.26.0 lintcstubs-arity.0.5.1 logs.0.10.0 num.1.6 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.22.2 parsexp.v0.17.0 pp.2.0.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_hash.0.1.3 ppx_deriving_yojson.3.10.0 ppxlib.0.38.0 qcheck-core.0.91 rresult.0.7.0 seq.base sexplib.v0.17.0 sexplib0.v0.17.0 sha.1.15.4 stdlib-shims.0.3.0 stdune.3.22.2 stringext.1.6.0 thread-table.1.0.0 top-closure.3.22.2 topkg.1.1.1 uri.4.4.0 uuidm.0.9.10 uutf.1.0.4 yaml.3.2.0 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y lintcstubs.dev lintcstubs-gen.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2026-04-16 16:38.55: Using cache hint "edwintorok/lintcstubs-ocaml/opam:fedora-43-ocaml-5.4@sha256:1e9dda7946898ac0fc2707683dc6e9df38da5cce0d82ff3862f12ad24cdd353b-fedora-43-5.4_opam-2.5-8bfbae58e6f87cc80428957d0a2c52b2"
2026-04-16 16:38.55: Using OBuilder spec:
((from ocaml/opam:fedora-43-ocaml-5.4@sha256:1e9dda7946898ac0fc2707683dc6e9df38da5cce0d82ff3862f12ad24cdd353b)
(comment fedora-43-5.4_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (network host)
(shell "sudo dnf install -y findutils"))
(run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 || git fetch origin master) && git reset -q --hard 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src lintcstubs.opam lintcstubs-gen.opam) (dst ./))
(run (network host)
(shell  "opam pin add -yn lintcstubs.dev './' && \
\nopam pin add -yn lintcstubs-gen.dev './'"))
(run (shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "angstrom.0.16.1 arg-complete.0.2.1 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base batteries.3.10.0 bigstringaf.0.10.0 bos.0.2.1 camlp-streams.5.0.1 catapult.0.2 catapult-file.0.2 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-graphviz.0.1 conf-perl.2 conf-pkg-config.4 cppo.1.8.0 cpu.2.0.0 csexp.1.5.2 cstruct.6.2.0 ctypes.0.24.0 domain-local-await.1.0.1 domain_shims.0.1.0 dune.3.22.2 dune-build-info.3.22.2 dune-compiledb.0.6.0 dune-configurator.3.22.2 dune-private-libs.3.22.2 dune-site.3.22.2 dyn.3.22.2 ezjsonm.1.3.0 fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 fs-io.3.22.2 goblint.2.7.1 goblint-cil.2.0.9 hex.1.5.0 integers.0.7.0 json-data-encoding.1.0.1 jsonm.1.0.2 jsonrpc.1.26.0 lintcstubs-arity.0.5.1 logs.0.10.0 num.1.6 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.22.2 parsexp.v0.17.0 pp.2.0.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_hash.0.1.3 ppx_deriving_yojson.3.10.0 ppxlib.0.38.0 qcheck-core.0.91 rresult.0.7.0 seq.base sexplib.v0.17.0 sexplib0.v0.17.0 sha.1.15.4 stdlib-shims.0.3.0 stdune.3.22.2 stringext.1.6.0 thread-table.1.0.0 top-closure.3.22.2 topkg.1.1.1 uri.4.4.0 uuidm.0.9.10 uutf.1.0.4 yaml.3.2.0 yojson.2.2.2 zarith.1.14")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y lintcstubs.dev lintcstubs-gen.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2026-04-16 16:38.55: Waiting for resource in pool OCluster
2026-04-16 16:57.14: Waiting for worker…
2026-04-16 17:03.24: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
HEAD is now at 40a2617 opam: add maintenance-intent


(from ocaml/opam:fedora-43-ocaml-5.4@sha256:1e9dda7946898ac0fc2707683dc6e9df38da5cce0d82ff3862f12ad24cdd353b)
Unable to find image 'ocaml/opam:fedora-43-ocaml-5.4@sha256:1e9dda7946898ac0fc2707683dc6e9df38da5cce0d82ff3862f12ad24cdd353b' locally
docker.io/ocaml/opam@sha256:1e9dda7946898ac0fc2707683dc6e9df38da5cce0d82ff3862f12ad24cdd353b: Pulling from ocaml/opam
5bc90b3315da: Already exists
80d71788ea9e: Already exists
ad80df798a1c: Already exists
cd85517f6ae1: Already exists
a927948f92fa: Already exists
4433c52b5ab1: Already exists
8aa93bc8ca93: Already exists
7d31cd7e9a9b: Already exists
959a5be6bfab: Already exists
6569047248d7: Already exists
a01a3ff02f3d: Already exists
8b1106fd8e03: Already exists
61c97bcc90cd: Already exists
b9124a8b6c28: Already exists
d2c94cd49c4c: Already exists
0e63679d7dbc: Already exists
0e63679d7dbc: Already exists
6819a31cdb14: Already exists
1d67c4c09922: Already exists
3f456f1cc39a: Already exists
6afff2ae07da: Already exists
4f4fb700ef54: Already exists
90c294795090: Already exists
d7c6287626d1: Already exists
0e6719fd9f6d: Already exists
53830a3a67c9: Already exists
b407be133f08: Already exists
951a5932e150: Already exists
dcc0f382cd80: Already exists
d3cdec43bf88: Already exists
d69ff9f37121: Already exists
cfcfca2848c7: Already exists
08269f8e9f88: Already exists
3e59769da2fa: Already exists
a1004eb1842a: Pulling fs layer
3a6ed7e0720e: Pulling fs layer
5503bfbdb082: Pulling fs layer
4685c134845d: Pulling fs layer
67f122543075: Pulling fs layer
d60a75d560f5: Pulling fs layer
d1f1983b7a0a: Pulling fs layer
4685c134845d: Waiting
67f122543075: Waiting
d9c0eec06d5d: Pulling fs layer
d60a75d560f5: Waiting
453380662f6c: Pulling fs layer
d1f1983b7a0a: Waiting
d9c0eec06d5d: Waiting
4d090674c42b: Pulling fs layer
bbd88afdcdf3: Pulling fs layer
4d090674c42b: Waiting
bbd88afdcdf3: Waiting
3a6ed7e0720e: Download complete
4685c134845d: Verifying Checksum
4685c134845d: Download complete
67f122543075: Verifying Checksum
67f122543075: Download complete
d60a75d560f5: Download complete
5503bfbdb082: Download complete
d1f1983b7a0a: Verifying Checksum
d1f1983b7a0a: Download complete
453380662f6c: Verifying Checksum
453380662f6c: Download complete
4d090674c42b: Verifying Checksum
4d090674c42b: Download complete
d9c0eec06d5d: Verifying Checksum
d9c0eec06d5d: Download complete
bbd88afdcdf3: Verifying Checksum
bbd88afdcdf3: Download complete
a1004eb1842a: Verifying Checksum
a1004eb1842a: Download complete
a1004eb1842a: Pull complete
3a6ed7e0720e: Pull complete
5503bfbdb082: Pull complete
4685c134845d: Pull complete
67f122543075: Pull complete
d60a75d560f5: Pull complete
d1f1983b7a0a: Pull complete
d9c0eec06d5d: Pull complete
453380662f6c: Pull complete
4d090674c42b: Pull complete
bbd88afdcdf3: Pull complete
Digest: sha256:1e9dda7946898ac0fc2707683dc6e9df38da5cce0d82ff3862f12ad24cdd353b
Status: Downloaded newer image for ocaml/opam@sha256:1e9dda7946898ac0fc2707683dc6e9df38da5cce0d82ff3862f12ad24cdd353b
2026-04-16 17:03.25 ---> using "b4f58bf638be103d120971146d8fc126e9b3a8c46e3a4588789af4c5e1fccda0" from cache


/: (comment fedora-43-5.4_opam-2.5)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (network host)
(shell "sudo dnf install -y findutils"))
Updating and loading repositories:
Fedora 43 - x86_64 - Updates           100% |  25.2 KiB/s |   6.2 KiB |  00m00s
Repositories loaded.
Package "findutils-1:4.10.0-6.fc43.x86_64" is already installed.


Nothing to do.
2026-04-16 17:03.25 ---> using "524735b077c9512b6910eb61394d9eebef016b7d107d4d7b79adf23a8d11090c" from cache


/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-04-16 17:03.25 ---> using "8cfb01e840492959ff95d3d5b6f59f80dfb7be314774547e49c6b970bb5e1d00" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then 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 255 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=255 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-04-16 17:03.25 ---> using "62a4127ab24cb770a3f441b63fbbb50777e0a9c11a35360cd84ef49dd3bfeb23" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-107-generic
The OCaml toplevel, version 5.4.1
2.5.0
2026-04-16 17:03.25 ---> using "201ad514b21b8e45f6ee307ccc16011d93b1898dc3d1c414ee43a01f6017ca08" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-04-16 17:03.25 ---> using "0ea47d1513ca38b3e93e2d568380f3532c58d7ee39e5227e7b3a1d92427960eb" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 || git fetch origin master) && git reset -q --hard 5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
42844088d7..0b0acbee05  master     -> origin/master
5f7bb1a6e6 Merge pull request #29704 from shonfeder/release-dune-3.22.2


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository


Everything as up-to-date as possible
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.5.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2026-04-16 17:03.25 ---> using "ab73ebcb4a8f0dc890272086ed3b984d087fa9a4f8132756c5df5136d947e249" from cache


/src: (copy (src lintcstubs.opam lintcstubs-gen.opam) (dst ./))
2026-04-16 17:03.25 ---> saved as "763ada7ccff267df1c942f8b30b74a0a39b3859d53a226dc696398ae29e473a6"


/src: (run (network host)
(shell  "opam pin add -yn lintcstubs.dev './' && \
\nopam pin add -yn lintcstubs-gen.dev './'"))
[lintcstubs.dev] synchronised (file:///src)
lintcstubs is now pinned to file:///src (version dev)
[lintcstubs-gen.dev] synchronised (file:///src)
lintcstubs-gen is now pinned to file:///src (version dev)
2026-04-16 17:03.26 ---> saved as "03299b008aea92930326994a036fbe41d8644162ea690264f0e74fa4d424dcd5"


/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-04-16 17:03.27 ---> saved as "74fd9b41faaf1ee289beba46065d2a0afd132b5ec80fc03289f30e4f3c44efd2"


/src: (env DEPS "angstrom.0.16.1 arg-complete.0.2.1 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base batteries.3.10.0 bigstringaf.0.10.0 bos.0.2.1 camlp-streams.5.0.1 catapult.0.2 catapult-file.0.2 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-graphviz.0.1 conf-perl.2 conf-pkg-config.4 cppo.1.8.0 cpu.2.0.0 csexp.1.5.2 cstruct.6.2.0 ctypes.0.24.0 domain-local-await.1.0.1 domain_shims.0.1.0 dune.3.22.2 dune-build-info.3.22.2 dune-compiledb.0.6.0 dune-configurator.3.22.2 dune-private-libs.3.22.2 dune-site.3.22.2 dyn.3.22.2 ezjsonm.1.3.0 fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 fs-io.3.22.2 goblint.2.7.1 goblint-cil.2.0.9 hex.1.5.0 integers.0.7.0 json-data-encoding.1.0.1 jsonm.1.0.2 jsonrpc.1.26.0 lintcstubs-arity.0.5.1 logs.0.10.0 num.1.6 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.22.2 parsexp.v0.17.0 pp.2.0.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_hash.0.1.3 ppx_deriving_yojson.3.10.0 ppxlib.0.38.0 qcheck-core.0.91 rresult.0.7.0 seq.base sexplib.v0.17.0 sexplib0.v0.17.0 sha.1.15.4 stdlib-shims.0.3.0 stdune.3.22.2 stringext.1.6.0 thread-table.1.0.0 top-closure.3.22.2 topkg.1.1.1 uri.4.4.0 uuidm.0.9.10 uutf.1.0.4 yaml.3.2.0 yojson.2.2.2 zarith.1.14")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y lintcstubs.dev lintcstubs-gen.dev $DEPS"))
+ /usr/sbin/sudo "yum" "makecache"
- Updating and loading repositories:
- Repositories loaded.
- Metadata cache created.


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[lintcstubs.dev] synchronised (file:///src)
[lintcstubs-gen.dev] synchronised (file:///src)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml is already installed (current version is 5.4.1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).


The following system packages will first need to be installed:
gmp-devel graphviz perl-ExtUtils-MakeMaker perl-FindBin perl-Pod-Html


<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>


+ /usr/sbin/sudo "yum" "install" "-y" "gmp-devel" "graphviz" "perl-ExtUtils-MakeMaker" "perl-FindBin" "perl-Pod-Html"
- Updating and loading repositories:
- Repositories loaded.
- Package                               Arch   Version                        Repository                 Size
- Upgrading:
-  perl-Errno                           x86_64 1.38-523.fc43                  updates                 8.4 KiB
-    replacing perl-Errno               x86_64 1.38-522.fc43                  updates                 8.4 KiB
-  perl-interpreter                     x86_64 4:5.42.2-523.fc43              updates               118.8 KiB
-    replacing perl-interpreter         x86_64 4:5.42.1-522.fc43              updates               118.6 KiB
-  perl-libs                            x86_64 4:5.42.2-523.fc43              updates                11.5 MiB
-    replacing perl-libs                x86_64 4:5.42.1-522.fc43              updates                11.5 MiB
- Installing:
-  gmp-devel                            x86_64 1:6.3.0-4.fc43                 fedora                352.3 KiB
-  graphviz                             x86_64 13.1.2-3.fc43                  updates                 4.0 MiB
-  perl-ExtUtils-MakeMaker              noarch 2:7.76-521.fc43                fedora                739.7 KiB
-  perl-FindBin                         noarch 1.54-523.fc43                  updates                 6.8 KiB
-  perl-Pod-Html                        noarch 1.35-523.fc43                  updates                42.3 KiB
- Installing dependencies:
-  abattis-cantarell-vf-fonts           noarch 0.301-15.fc43                  fedora                192.7 KiB
-  adobe-mappings-cmap                  noarch 20231115-3.fc43                fedora                 15.2 MiB
-  adobe-mappings-cmap-deprecated       noarch 20231115-3.fc43                fedora                582.1 KiB
-  adobe-mappings-pdf                   noarch 20190401-10.fc43               fedora                  4.4 MiB
-  avahi-libs                           x86_64 0.9~rc2-6.fc43                 fedora                171.6 KiB
-  cairo                                x86_64 1.18.4-2.fc43                  fedora                  1.8 MiB
-  cairo-gobject                        x86_64 1.18.4-2.fc43                  fedora                 31.1 KiB
-  cups-filesystem                      noarch 1:2.4.16-7.fc43                updates                 0.0   B
-  cups-libs                            x86_64 1:2.4.16-7.fc43                updates               618.7 KiB
-  default-fonts-core-sans              noarch 4.2-5.fc43                     fedora                 11.9 KiB
-  fontconfig                           x86_64 2.17.0-3.fc43                  fedora                765.9 KiB
-  fonts-filesystem                     noarch 1:2.0.5-23.fc43                fedora                  0.0   B
-  freetype                             x86_64 2.13.3-3.fc43                  fedora                850.2 KiB
-  fribidi                              x86_64 1.0.16-3.fc43                  fedora                190.3 KiB
-  gd                                   x86_64 2.3.3-19.fc43                  fedora                403.6 KiB
-  gdk-pixbuf2                          x86_64 2.44.4-1.fc43                  updates                 2.5 MiB
-  glycin-libs                          x86_64 2.0.8-1.fc43                   updates                 4.2 MiB
-  glycin-loaders                       x86_64 2.0.8-1.fc43                   updates                12.7 MiB
-  gmp-c++                              x86_64 1:6.3.0-4.fc43                 fedora                 27.6 KiB
-  google-droid-sans-fonts              noarch 20200215-23.fc43               fedora                  6.3 MiB
-  google-noto-fonts-common             noarch 20251101-2.fc43                updates                17.7 KiB
-  google-noto-sans-vf-fonts            noarch 20251101-2.fc43                updates                 1.4 MiB
-  gpgme                                x86_64 1.24.3-6.fc43                  fedora                587.9 KiB
-  gpgmepp                              x86_64 1.24.3-6.fc43                  fedora                429.2 KiB
-  graphite2                            x86_64 1.3.14-19.fc43                 fedora                191.8 KiB
-  graphviz-libs                        x86_64 13.1.2-3.fc43                  updates                 1.2 MiB
-  gts                                  x86_64 0.7.6-51.20121130.fc43         fedora                636.6 KiB
-  harfbuzz                             x86_64 11.5.1-2.fc43                  updates                 2.8 MiB
-  highway                              x86_64 1.3.0-1.fc43                   updates                 5.5 MiB
-  jbig2dec-libs                        x86_64 0.20-7.fc43                    fedora                164.9 KiB
-  jbigkit-libs                         x86_64 2.1-32.fc43                    fedora                113.5 KiB
-  lasi                                 x86_64 1.1.3-17.fc43                  fedora                126.7 KiB
-  lcms2                                x86_64 2.16-6.fc43                    fedora                433.7 KiB
-  libICE                               x86_64 1.1.2-3.fc43                   fedora                194.4 KiB
-  libSM                                x86_64 1.2.5-3.fc43                   fedora                101.0 KiB
-  libXext                              x86_64 1.3.6-4.fc43                   fedora                 90.0 KiB
-  libXft                               x86_64 2.3.8-9.fc43                   fedora                164.4 KiB
-  libXpm                               x86_64 3.5.17-6.fc43                  fedora                148.3 KiB
-  libXrender                           x86_64 0.9.12-3.fc43                  fedora                 46.0 KiB
-  libXt                                x86_64 1.3.1-3.fc43                   fedora                429.8 KiB
-  libaom                               x86_64 3.13.3-1.fc43                  updates                 5.0 MiB
-  libavif                              x86_64 1.3.0-2.fc43                   fedora                258.0 KiB
-  libdatrie                            x86_64 0.2.13-12.fc43                 fedora                 53.8 KiB
-  libdav1d                             x86_64 1.5.3-1.fc43                   updates                 1.7 MiB
-  libgs                                x86_64 10.05.1-6.fc43                 updates                23.5 MiB
-  libheif                              x86_64 1.20.2-6.fc43                  fedora                  1.6 MiB
-  libijs                               x86_64 0.35-25.fc43                   fedora                 61.6 KiB
-  libimagequant                        x86_64 4.0.3-8.fc43                   fedora                690.9 KiB
-  libjpeg-turbo                        x86_64 3.1.3-1.fc43                   updates               806.3 KiB
-  libjxl                               x86_64 1:0.11.1-7.fc43                updates                 4.1 MiB
-  liblerc                              x86_64 4.0.0-9.fc43                   fedora                624.1 KiB
-  libopenjph                           x86_64 0.22.0-2.fc43                  fedora                466.2 KiB
-  libpaper                             x86_64 1:2.1.1-9.fc43                 fedora                 48.7 KiB
-  libpng                               x86_64 2:1.6.56-1.fc43                updates               241.8 KiB
-  librsvg2                             x86_64 2.61.0-5.fc43                  updates                 5.1 MiB
-  libthai                              x86_64 0.1.29-11.fc43                 fedora                783.4 KiB
-  libtiff                              x86_64 4.7.1-1.fc43                   updates               624.4 KiB
-  libvmaf                              x86_64 3.0.0-4.fc43                   fedora                827.0 KiB
-  libwebp                              x86_64 1.6.0-2.fc43                   fedora                956.6 KiB
-  libyuv                               x86_64 0-0.57.20240704git96bbdb5.fc43 fedora                679.7 KiB
-  lzo                                  x86_64 2.10-15.fc43                   fedora                178.9 KiB
-  netpbm                               x86_64 11.13.00-1.fc43                updates               580.0 KiB
-  nspr                                 x86_64 4.38.2-4.fc43                  updates               315.5 KiB
-  nss                                  x86_64 3.121.0-1.fc43                 updates                 1.9 MiB
-  nss-softokn                          x86_64 3.121.0-1.fc43                 updates                 2.0 MiB
-  nss-softokn-freebl                   x86_64 3.121.0-1.fc43                 updates               991.0 KiB
-  nss-sysinit                          x86_64 3.121.0-1.fc43                 updates                18.1 KiB
-  nss-util                             x86_64 3.121.0-1.fc43                 updates               204.8 KiB
-  openh264                             x86_64 2.6.0-2.fc43                   fedora-cisco-openh264   1.1 MiB
-  openjpeg                             x86_64 2.5.4-1.fc43                   fedora                456.3 KiB
-  pango                                x86_64 1.57.1-1.fc43                  updates                 1.0 MiB
-  perl-AutoSplit                       noarch 5.74-523.fc43                  updates                23.1 KiB
-  perl-Benchmark                       noarch 1.27-523.fc43                  updates                36.4 KiB
-  perl-CPAN-Meta-Requirements          noarch 2.143-13.fc43                  fedora                 81.2 KiB
-  perl-CPAN-Meta-YAML                  noarch 0.020-521.fc43                 fedora                 52.1 KiB
-  perl-ExtUtils-Command                noarch 2:7.76-521.fc43                fedora                  9.6 KiB
-  perl-ExtUtils-Install                noarch 2.22-520.fc43                  fedora                 85.5 KiB
-  perl-ExtUtils-Manifest               noarch 1:1.75-520.fc43                fedora                 84.8 KiB
-  perl-ExtUtils-ParseXS                noarch 1:3.58-2.fc43                  fedora                539.6 KiB
-  perl-Hash-Util                       x86_64 0.32-523.fc43                  updates                55.0 KiB
-  perl-Hash-Util-FieldHash             x86_64 1.27-523.fc43                  updates                62.6 KiB
-  perl-I18N-Langinfo                   x86_64 0.24-523.fc43                  updates                34.7 KiB
-  perl-JSON-PP                         noarch 1:4.16-522.fc43                updates               141.9 KiB
-  perl-Math-BigInt                     noarch 1:2.0050.03-3.fc43             fedora                  1.1 MiB
-  perl-Math-Complex                    noarch 1.63-523.fc43                  updates                85.1 KiB
-  perl-Test-Harness                    noarch 1:3.52-4.fc43                  fedora                560.8 KiB
-  perl-fields                          noarch 2.27-523.fc43                  updates                11.9 KiB
-  perl-version                         x86_64 9:0.99.33-521.fc43             fedora                128.7 KiB
-  pixman                               x86_64 0.46.2-2.fc43                  fedora                710.3 KiB
-  poppler                              x86_64 25.07.0-3.fc43                 updates                 3.8 MiB
-  poppler-data                         noarch 0.4.11-10.fc43                 fedora                 12.3 MiB
-  poppler-glib                         x86_64 25.07.0-3.fc43                 updates               633.9 KiB
-  rav1e-libs                           x86_64 0.8.1-2.fc43                   updates                 3.1 MiB
-  shared-mime-info                     x86_64 2.4-2.fc43                     fedora                  5.2 MiB
-  svt-av1-libs                         x86_64 3.1.2-1.fc43                   fedora                  5.6 MiB
-  urw-base35-bookman-fonts             noarch 20200910-26.fc43               fedora                  1.4 MiB
-  urw-base35-c059-fonts                noarch 20200910-26.fc43               fedora                  1.4 MiB
-  urw-base35-d050000l-fonts            noarch 20200910-26.fc43               fedora                 84.3 KiB
-  urw-base35-fonts                     noarch 20200910-26.fc43               fedora                  5.3 KiB
-  urw-base35-fonts-common              noarch 20200910-26.fc43               fedora                 37.4 KiB
-  urw-base35-gothic-fonts              noarch 20200910-26.fc43               fedora                  1.2 MiB
-  urw-base35-nimbus-mono-ps-fonts      noarch 20200910-26.fc43               fedora                  1.0 MiB
-  urw-base35-nimbus-roman-fonts        noarch 20200910-26.fc43               fedora                  1.4 MiB
-  urw-base35-nimbus-sans-fonts         noarch 20200910-26.fc43               fedora                  2.4 MiB
-  urw-base35-p052-fonts                noarch 20200910-26.fc43               fedora                  1.5 MiB
-  urw-base35-standard-symbols-ps-fonts noarch 20200910-26.fc43               fedora                 64.9 KiB
-  urw-base35-z003-fonts                noarch 20200910-26.fc43               fedora                390.8 KiB
-  xml-common                           noarch 0.6.3-67.fc43                  fedora                 78.4 KiB
- Installing weak dependencies:
-  perl-CPAN-Meta                       noarch 2.150010-520.fc43              fedora                592.2 KiB
-  perl-Encode-Locale                   noarch 1.05-32.fc43                   fedora                 19.0 KiB
-  perl-Time-HiRes                      x86_64 4:1.9778-520.fc43              fedora                115.8 KiB
- 
- Transaction Summary:
-  Installing:       116 packages
-  Upgrading:          3 packages
-  Replacing:          3 packages
- 
- Total size of inbound packages is 52 MiB. Need to download 52 MiB.
- After this operation, 173 MiB extra will be used (install 185 MiB, remove 12 MiB).
- [  1/119] perl-ExtUtils-Command-2:7.76- 100% |  47.3 KiB/s |  14.0 KiB |  00m00s
- [  2/119] perl-ExtUtils-Install-0:2.22- 100% | 106.6 KiB/s |  43.4 KiB |  00m00s
- [  3/119] perl-ExtUtils-Manifest-1:1.75 100% | 140.5 KiB/s |  34.0 KiB |  00m00s
- [  4/119] perl-Test-Harness-1:3.52-4.fc 100% | 970.9 KiB/s | 277.7 KiB |  00m00s
- [  5/119] perl-version-9:0.99.33-521.fc 100% | 270.7 KiB/s |  62.8 KiB |  00m00s
- [  6/119] gmp-devel-1:6.3.0-4.fc43.x86_ 100% |   2.8 MiB/s | 174.3 KiB |  00m00s
- [  7/119] gmp-c++-1:6.3.0-4.fc43.x86_64 100% | 800.2 KiB/s |  18.4 KiB |  00m00s
- [  8/119] perl-ExtUtils-MakeMaker-2:7.7 100% | 236.3 KiB/s | 294.6 KiB |  00m01s
- [  9/119] graphviz-0:13.1.2-3.fc43.x86_ 100% |   7.2 MiB/s |   1.3 MiB |  00m00s
- [ 10/119] fontconfig-0:2.17.0-3.fc43.x8 100% |   2.0 MiB/s | 272.2 KiB |  00m00s
- [ 11/119] freetype-0:2.13.3-3.fc43.x86_ 100% |   3.6 MiB/s | 412.1 KiB |  00m00s
- [ 12/119] cairo-0:1.18.4-2.fc43.x86_64  100% |   2.0 MiB/s | 729.3 KiB |  00m00s
- [ 13/119] gd-0:2.3.3-19.fc43.x86_64     100% |   4.2 MiB/s | 136.3 KiB |  00m00s
- [ 14/119] perl-ExtUtils-ParseXS-1:3.58- 100% | 182.6 KiB/s | 220.7 KiB |  00m01s
- [ 15/119] lasi-0:1.1.3-17.fc43.x86_64   100% |   4.1 MiB/s |  55.0 KiB |  00m00s
- [ 16/119] libXrender-0:0.9.12-3.fc43.x8 100% |   1.5 MiB/s |  26.9 KiB |  00m00s
- [ 17/119] urw-base35-fonts-0:20200910-2 100% |   1.4 MiB/s |   9.9 KiB |  00m00s
- [ 18/119] libXext-0:1.3.6-4.fc43.x86_64 100% |   1.9 MiB/s |  39.1 KiB |  00m00s
- [ 19/119] libwebp-0:1.6.0-2.fc43.x86_64 100% |   5.9 MiB/s | 324.2 KiB |  00m00s
- [ 20/119] lzo-0:2.10-15.fc43.x86_64     100% | 708.3 KiB/s |  69.4 KiB |  00m00s
- [ 21/119] gts-0:0.7.6-51.20121130.fc43. 100% | 949.3 KiB/s | 239.2 KiB |  00m00s
- [ 22/119] fonts-filesystem-1:2.0.5-23.f 100% | 867.8 KiB/s |   8.7 KiB |  00m00s
- [ 23/119] default-fonts-core-sans-0:4.2 100% | 266.9 KiB/s |  29.9 KiB |  00m00s
- [ 24/119] xml-common-0:0.6.3-67.fc43.no 100% |   2.5 MiB/s |  31.0 KiB |  00m00s
- [ 25/119] libXpm-0:3.5.17-6.fc43.x86_64 100% | 267.8 KiB/s |  65.6 KiB |  00m00s
- [ 26/119] pixman-0:0.46.2-2.fc43.x86_64 100% | 597.0 KiB/s | 292.5 KiB |  00m00s
- [ 27/119] urw-base35-bookman-fonts-0:20 100% |   2.6 MiB/s | 845.2 KiB |  00m00s
- [ 28/119] urw-base35-c059-fonts-0:20200 100% |   3.7 MiB/s | 872.9 KiB |  00m00s
- [ 29/119] urw-base35-d050000l-fonts-0:2 100% | 317.3 KiB/s |  75.2 KiB |  00m00s
- [ 30/119] urw-base35-fonts-common-0:202 100% |   1.8 MiB/s |  20.6 KiB |  00m00s
- [ 31/119] urw-base35-gothic-fonts-0:202 100% |   3.7 MiB/s | 640.8 KiB |  00m00s
- [ 32/119] urw-base35-nimbus-mono-ps-fon 100% |   3.8 MiB/s | 793.8 KiB |  00m00s
- [ 33/119] libavif-0:1.3.0-2.fc43.x86_64 100% |  65.8 KiB/s | 120.7 KiB |  00m02s
- [ 34/119] libimagequant-0:4.0.3-8.fc43. 100% | 188.5 KiB/s | 313.8 KiB |  00m02s
- [ 35/119] urw-base35-nimbus-roman-fonts 100% |   1.4 MiB/s | 853.1 KiB |  00m01s
- [ 36/119] urw-base35-standard-symbols-p 100% |   3.1 MiB/s |  57.7 KiB |  00m00s
- [ 37/119] urw-base35-z003-fonts-0:20200 100% |   3.4 MiB/s | 274.9 KiB |  00m00s
- [ 38/119] abattis-cantarell-vf-fonts-0: 100% |   3.7 MiB/s | 120.1 KiB |  00m00s
- [ 39/119] urw-base35-nimbus-sans-fonts- 100% |   1.7 MiB/s |   1.3 MiB |  00m01s
- [ 40/119] libyuv-0:0-0.57.20240704git96 100% | 420.2 KiB/s | 202.1 KiB |  00m00s
- [ 41/119] perl-FindBin-0:1.54-523.fc43. 100% | 277.1 KiB/s |  13.9 KiB |  00m00s
- [ 42/119] perl-Pod-Html-0:1.35-523.fc43 100% |   1.2 MiB/s |  29.1 KiB |  00m00s
- [ 43/119] perl-Benchmark-0:1.27-523.fc4 100% |   1.2 MiB/s |  26.4 KiB |  00m00s
- [ 44/119] perl-fields-0:2.27-523.fc43.n 100% | 874.8 KiB/s |  15.7 KiB |  00m00s
- [ 45/119] perl-AutoSplit-0:5.74-523.fc4 100% |   1.1 MiB/s |  21.2 KiB |  00m00s
- [ 46/119] libjpeg-turbo-0:3.1.3-1.fc43. 100% |   4.0 MiB/s | 236.8 KiB |  00m00s
- [ 47/119] libaom-0:3.13.3-1.fc43.x86_64 100% |  19.3 MiB/s |   1.9 MiB |  00m00s
- [ 48/119] libvmaf-0:3.0.0-4.fc43.x86_64 100% |   1.5 MiB/s | 196.6 KiB |  00m00s
- [ 49/119] libdav1d-0:1.5.3-1.fc43.x86_6 100% |   9.2 MiB/s | 637.4 KiB |  00m00s
- [ 50/119] rav1e-libs-0:0.8.1-2.fc43.x86 100% |  19.4 MiB/s |   1.1 MiB |  00m00s
- [ 51/119] pango-0:1.57.1-1.fc43.x86_64  100% |   6.9 MiB/s | 358.0 KiB |  00m00s
- [ 52/119] fribidi-0:1.0.16-3.fc43.x86_6 100% |   3.3 MiB/s |  53.3 KiB |  00m00s
- [ 53/119] libXft-0:2.3.8-9.fc43.x86_64  100% | 238.4 KiB/s |  72.2 KiB |  00m00s
- [ 54/119] libthai-0:0.1.29-11.fc43.x86_ 100% | 363.2 KiB/s | 210.3 KiB |  00m01s
- [ 55/119] libdatrie-0:0.2.13-12.fc43.x8 100% |   1.6 MiB/s |  32.0 KiB |  00m00s
- [ 56/119] netpbm-0:11.13.00-1.fc43.x86_ 100% |   4.7 MiB/s | 187.7 KiB |  00m00s
- [ 57/119] libpng-2:1.6.56-1.fc43.x86_64 100% |   6.8 MiB/s | 125.5 KiB |  00m00s
- [ 58/119] libtiff-0:4.7.1-1.fc43.x86_64 100% |  11.4 MiB/s | 222.4 KiB |  00m00s
- [ 59/119] jbigkit-libs-0:2.1-32.fc43.x8 100% |   3.7 MiB/s |  53.2 KiB |  00m00s
- [ 60/119] liblerc-0:4.0.0-9.fc43.x86_64 100% | 193.1 KiB/s | 215.1 KiB |  00m01s
- [ 61/119] harfbuzz-0:11.5.1-2.fc43.x86_ 100% |  18.3 MiB/s |   1.1 MiB |  00m00s
- [ 62/119] graphite2-0:1.3.14-19.fc43.x8 100% |   3.2 MiB/s |  95.6 KiB |  00m00s
- [ 63/119] google-noto-sans-vf-fonts-0:2 100% |  10.9 MiB/s | 614.5 KiB |  00m00s
- [ 64/119] google-noto-fonts-common-0:20 100% |   1.1 MiB/s |  17.3 KiB |  00m00s
- [ 65/119] perl-Hash-Util-0:0.32-523.fc4 100% |   2.2 MiB/s |  34.2 KiB |  00m00s
- [ 66/119] perl-Hash-Util-FieldHash-0:1. 100% |   2.5 MiB/s |  38.4 KiB |  00m00s
- [ 67/119] gdk-pixbuf2-0:2.44.4-1.fc43.x 100% |  10.3 MiB/s | 484.9 KiB |  00m00s
- [ 68/119] shared-mime-info-0:2.4-2.fc43 100% |   4.0 MiB/s | 399.7 KiB |  00m00s
- [ 69/119] graphviz-libs-0:13.1.2-3.fc43 100% |  10.2 MiB/s | 482.7 KiB |  00m00s
- [ 70/119] libgs-0:10.05.1-6.fc43.x86_64 100% |  16.8 MiB/s |   3.5 MiB |  00m00s
- [ 71/119] adobe-mappings-cmap-0:2023111 100% |   1.6 MiB/s |   2.2 MiB |  00m01s
- [ 72/119] svt-av1-libs-0:3.1.2-1.fc43.x 100% | 428.9 KiB/s |   2.0 MiB |  00m05s
- [ 73/119] urw-base35-p052-fonts-0:20200 100% | 162.8 KiB/s | 972.1 KiB |  00m06s
- [ 74/119] adobe-mappings-pdf-0:20190401 100% | 360.3 KiB/s | 619.3 KiB |  00m02s
- [ 75/119] jbig2dec-libs-0:0.20-7.fc43.x 100% |   4.8 MiB/s |  74.0 KiB |  00m00s
- [ 76/119] lcms2-0:2.16-6.fc43.x86_64    100% |   4.2 MiB/s | 182.8 KiB |  00m00s
- [ 77/119] libXt-0:1.3.1-3.fc43.x86_64   100% |   3.5 MiB/s | 179.2 KiB |  00m00s
- [ 78/119] libijs-0:0.35-25.fc43.x86_64  100% | 125.0 KiB/s |  29.1 KiB |  00m00s
- [ 79/119] libpaper-1:2.1.1-9.fc43.x86_6 100% | 111.3 KiB/s |  26.6 KiB |  00m00s
- [ 80/119] google-droid-sans-fonts-0:202 100% |   1.3 MiB/s |   2.7 MiB |  00m02s
- [ 81/119] openjpeg-0:2.5.4-1.fc43.x86_6 100% | 406.4 KiB/s | 192.2 KiB |  00m00s
- [ 82/119] libSM-0:1.2.5-3.fc43.x86_64   100% |   3.6 MiB/s |  44.2 KiB |  00m00s
- [ 83/119] libICE-0:1.1.2-3.fc43.x86_64  100% | 268.6 KiB/s |  78.1 KiB |  00m00s
- [ 84/119] cairo-gobject-0:1.18.4-2.fc43 100% |   1.7 MiB/s |  16.9 KiB |  00m00s
- [ 85/119] librsvg2-0:2.61.0-5.fc43.x86_ 100% |  10.0 MiB/s |   1.9 MiB |  00m00s
- [ 86/119] poppler-glib-0:25.07.0-3.fc43 100% |   1.9 MiB/s | 207.4 KiB |  00m00s
- [ 87/119] poppler-0:25.07.0-3.fc43.x86_ 100% |  17.4 MiB/s |   1.3 MiB |  00m00s
- [ 88/119] gpgmepp-0:1.24.3-6.fc43.x86_6 100% | 549.6 KiB/s | 142.9 KiB |  00m00s
- [ 89/119] gpgme-0:1.24.3-6.fc43.x86_64  100% |   1.4 MiB/s | 218.5 KiB |  00m00s
- [ 90/119] glycin-libs-0:2.0.8-1.fc43.x8 100% |  25.6 MiB/s |   1.5 MiB |  00m00s
- [ 91/119] glycin-loaders-0:2.0.8-1.fc43 100% |  28.4 MiB/s |   2.8 MiB |  00m00s
- [ 92/119] poppler-data-0:0.4.11-10.fc43 100% |   1.4 MiB/s |   2.0 MiB |  00m01s
- [ 93/119] libheif-0:1.20.2-6.fc43.x86_6 100% | 601.6 KiB/s | 578.1 KiB |  00m01s
- [ 94/119] libopenjph-0:0.22.0-2.fc43.x8 100% |   3.2 MiB/s | 154.4 KiB |  00m00s
- [ 95/119] nspr-0:4.38.2-4.fc43.x86_64   100% |   8.4 MiB/s | 137.7 KiB |  00m00s
- [ 96/119] nss-0:3.121.0-1.fc43.x86_64   100% |  10.1 MiB/s | 716.8 KiB |  00m00s
- [ 97/119] nss-softokn-0:3.121.0-1.fc43. 100% |   9.6 MiB/s | 430.9 KiB |  00m00s
- [ 98/119] nss-softokn-freebl-0:3.121.0- 100% |   9.8 MiB/s | 372.0 KiB |  00m00s
- [ 99/119] nss-sysinit-0:3.121.0-1.fc43. 100% |   1.1 MiB/s |  18.9 KiB |  00m00s
- [100/119] nss-util-0:3.121.0-1.fc43.x86 100% |   4.4 MiB/s |  86.1 KiB |  00m00s
- [101/119] cups-libs-1:2.4.16-7.fc43.x86 100% |   6.5 MiB/s | 260.8 KiB |  00m00s
- [102/119] cups-filesystem-1:2.4.16-7.fc 100% | 821.7 KiB/s |  12.3 KiB |  00m00s
- [103/119] avahi-libs-0:0.9~rc2-6.fc43.x 100% |   6.7 MiB/s |  69.0 KiB |  00m00s
- [104/119] openh264-0:2.6.0-2.fc43.x86_6 100% |   1.2 MiB/s | 422.8 KiB |  00m00s
- [105/119] libjxl-1:0.11.1-7.fc43.x86_64 100% |  16.4 MiB/s |   1.2 MiB |  00m00s
- [106/119] highway-0:1.3.0-1.fc43.x86_64 100% |  13.6 MiB/s | 694.5 KiB |  00m00s
- [107/119] perl-Encode-Locale-0:1.05-32. 100% | 915.3 KiB/s |  18.3 KiB |  00m00s
- [108/119] perl-CPAN-Meta-0:2.150010-520 100% |   1.9 MiB/s | 190.8 KiB |  00m00s
- [109/119] perl-CPAN-Meta-Requirements-0 100% |   2.6 MiB/s |  34.5 KiB |  00m00s
- [110/119] perl-CPAN-Meta-YAML-0:0.020-5 100% |   2.0 MiB/s |  26.7 KiB |  00m00s
- [111/119] perl-I18N-Langinfo-0:0.24-523 100% | 721.8 KiB/s |  25.3 KiB |  00m00s
- [112/119] perl-JSON-PP-1:4.16-522.fc43. 100% |   2.4 MiB/s |  65.7 KiB |  00m00s
- [113/119] perl-Time-HiRes-4:1.9778-520. 100% | 232.1 KiB/s |  57.1 KiB |  00m00s
- [114/119] perl-Math-Complex-0:1.63-523. 100% |   1.5 MiB/s |  45.8 KiB |  00m00s
- [115/119] perl-libs-4:5.42.2-523.fc43.x 100% |   5.8 MiB/s |   2.6 MiB |  00m00s
- [116/119] perl-interpreter-4:5.42.2-523 100% |   4.1 MiB/s |  72.0 KiB |  00m00s
- [117/119] perl-Errno-0:1.38-523.fc43.x8 100% | 971.4 KiB/s |  14.6 KiB |  00m00s
- [118/119] adobe-mappings-cmap-deprecate 100% |  14.1 KiB/s | 102.5 KiB |  00m07s
- [119/119] perl-Math-BigInt-1:2.0050.03- 100% |  58.5 KiB/s | 234.5 KiB |  00m04s
- --------------------------------------------------------------------------------
- [119/119] Total                         100% |   2.7 MiB/s |  51.6 MiB |  00m19s
- Running transaction
- [  1/124] Verify package files          100% | 179.0   B/s | 119.0   B |  00m01s
- [  2/124] Prepare transaction           100% | 991.0   B/s | 122.0   B |  00m00s
- [  3/124] Upgrading perl-libs-4:5.42.2- 100% |  81.5 MiB/s |  11.6 MiB |  00m00s
- [  4/124] Installing nspr-0:4.38.2-4.fc 100% |  62.0 MiB/s | 317.3 KiB |  00m00s
- [  5/124] Installing libjpeg-turbo-0:3. 100% | 131.5 MiB/s | 808.0 KiB |  00m00s
- [  6/124] Upgrading perl-interpreter-4: 100% |   4.7 MiB/s | 120.5 KiB |  00m00s
- [  7/124] Installing libpng-2:1.6.56-1. 100% |  59.3 MiB/s | 243.0 KiB |  00m00s
- [  8/124] Installing fonts-filesystem-1 100% | 769.5 KiB/s | 788.0   B |  00m00s
- [  9/124] Installing urw-base35-fonts-c 100% |  37.5 MiB/s |  38.4 KiB |  00m00s
- [ 10/124] Installing nss-util-0:3.121.0 100% |  67.0 MiB/s | 205.8 KiB |  00m00s
- [ 11/124] Installing libwebp-0:1.6.0-2. 100% | 104.2 MiB/s | 960.7 KiB |  00m00s
- [ 12/124] Installing libXrender-0:0.9.1 100% |  23.1 MiB/s |  47.3 KiB |  00m00s
- [ 13/124] Installing perl-version-9:0.9 100% |  42.8 MiB/s | 131.5 KiB |  00m00s
- [ 14/124] Installing openjpeg-0:2.5.4-1 100% | 111.9 MiB/s | 458.2 KiB |  00m00s
- [ 15/124] Installing lcms2-0:2.16-6.fc4 100% | 106.3 MiB/s | 435.3 KiB |  00m00s
- [ 16/124] Installing libdav1d-0:1.5.3-1 100% | 130.2 MiB/s |   1.7 MiB |  00m00s
- [ 17/124] Installing libICE-0:1.1.2-3.f 100% |  63.7 MiB/s | 195.8 KiB |  00m00s
- [ 18/124] Installing adobe-mappings-cma 100% |  84.4 MiB/s |  15.2 MiB |  00m00s
- [ 19/124] Installing shared-mime-info-0 100% |  23.3 MiB/s |   2.6 MiB |  00m00s
- [ 20/124] Installing rav1e-libs-0:0.8.1 100% |  67.0 MiB/s |   3.1 MiB |  00m00s
- [ 21/124] Installing svt-av1-libs-0:3.1 100% |  79.6 MiB/s |   5.6 MiB |  00m00s
- [ 22/124] Installing adobe-mappings-cma 100% |  81.6 MiB/s | 585.2 KiB |  00m00s
- [ 23/124] Installing libSM-0:1.2.5-3.fc 100% |  50.0 MiB/s | 102.4 KiB |  00m00s
- [ 24/124] Installing libXt-0:1.3.1-3.fc 100% | 105.2 MiB/s | 431.0 KiB |  00m00s
- [ 25/124] Installing perl-CPAN-Meta-Req 100% |  40.7 MiB/s |  83.4 KiB |  00m00s
- [ 26/124] Installing nss-softokn-freebl 100% |  69.3 MiB/s | 993.0 KiB |  00m00s
- [ 27/124] Installing nss-softokn-0:3.12 100% |  89.5 MiB/s |   2.0 MiB |  00m00s
- [ 28/124] Installing nss-sysinit-0:3.12 100% | 467.8 KiB/s |  19.2 KiB |  00m00s
- [ 29/124] Installing nss-0:3.121.0-1.fc 100% |  30.0 MiB/s |   1.9 MiB |  00m00s
- [ 30/124] Installing urw-base35-bookman 100% |  56.9 MiB/s |   1.4 MiB |  00m00s
- [ 31/124] Installing urw-base35-c059-fo 100% |  73.4 MiB/s |   1.4 MiB |  00m00s
- [ 32/124] Installing urw-base35-d050000 100% |  16.7 MiB/s |  85.4 KiB |  00m00s
- [ 33/124] Installing urw-base35-gothic- 100% |  72.7 MiB/s |   1.2 MiB |  00m00s
- [ 34/124] Installing urw-base35-nimbus- 100% |  87.7 MiB/s |   1.1 MiB |  00m00s
- [ 35/124] Installing urw-base35-nimbus- 100% |  75.9 MiB/s |   1.4 MiB |  00m00s
- [ 36/124] Installing urw-base35-nimbus- 100% |  99.8 MiB/s |   2.4 MiB |  00m00s
- [ 37/124] Installing urw-base35-p052-fo 100% | 124.0 MiB/s |   1.5 MiB |  00m00s
- [ 38/124] Installing urw-base35-standar 100% |  32.2 MiB/s |  66.0 KiB |  00m00s
- [ 39/124] Installing urw-base35-z003-fo 100% |  76.5 MiB/s | 391.8 KiB |  00m00s
- [ 40/124] Installing urw-base35-fonts-0 100% |   5.5 MiB/s |   5.6 KiB |  00m00s
- [ 41/124] Installing abattis-cantarell- 100% |  27.1 MiB/s | 194.4 KiB |  00m00s
- [ 42/124] Installing google-droid-sans- 100% |  80.2 MiB/s |   6.3 MiB |  00m00s
- [ 43/124] Installing libyuv-0:0-0.57.20 100% |  95.1 MiB/s | 681.3 KiB |  00m00s
- [ 44/124] Installing perl-ExtUtils-Comm 100% |   9.9 MiB/s |  10.2 KiB |  00m00s
- [ 45/124] Installing perl-ExtUtils-Mani 100% |  42.2 MiB/s |  86.3 KiB |  00m00s
- [ 46/124] Installing perl-Benchmark-0:1 100% |  18.0 MiB/s |  36.8 KiB |  00m00s
- [ 47/124] Installing perl-AutoSplit-0:5 100% |  23.0 MiB/s |  23.6 KiB |  00m00s
- [ 48/124] Installing perl-Hash-Util-Fie 100% |  20.9 MiB/s |  64.3 KiB |  00m00s
- [ 49/124] Installing perl-Hash-Util-0:0 100% |  27.5 MiB/s |  56.4 KiB |  00m00s
- [ 50/124] Installing perl-fields-0:2.27 100% |  12.0 MiB/s |  12.3 KiB |  00m00s
- [ 51/124] Installing perl-ExtUtils-Pars 100% |  15.7 MiB/s | 545.5 KiB |  00m00s
- [ 52/124] Installing perl-CPAN-Meta-YAM 100% |  17.4 MiB/s |  53.6 KiB |  00m00s
- [ 53/124] Installing perl-I18N-Langinfo 100% |  17.7 MiB/s |  36.2 KiB |  00m00s
- [ 54/124] Installing perl-Math-Complex- 100% |  28.0 MiB/s |  86.0 KiB |  00m00s
- [ 55/124] Installing perl-Math-BigInt-1 100% | 118.2 MiB/s |   1.1 MiB |  00m00s
- [ 56/124] Installing perl-JSON-PP-1:4.1 100% |   5.4 MiB/s | 143.6 KiB |  00m00s
- [ 57/124] Upgrading perl-Errno-0:1.38-5 100% |   4.3 MiB/s |   8.8 KiB |  00m00s
- [ 58/124] Installing perl-Test-Harness- 100% |  16.8 MiB/s | 583.6 KiB |  00m00s
- [ 59/124] Installing perl-ExtUtils-Make 100% |  22.9 MiB/s | 750.3 KiB |  00m00s
- [ 60/124] Installing perl-ExtUtils-Inst 100% |  42.6 MiB/s |  87.2 KiB |  00m00s
- [ 61/124] Installing highway-0:1.3.0-1. 100% | 162.8 MiB/s |   5.5 MiB |  00m00s
- [ 62/124] Installing libjxl-1:0.11.1-7. 100% | 120.9 MiB/s |   4.1 MiB |  00m00s
- [ 63/124] Installing avahi-libs-0:0.9~r 100% |  42.5 MiB/s | 174.0 KiB |  00m00s
- [ 64/124] Installing cups-filesystem-1: 100% | 890.6 KiB/s |   1.8 KiB |  00m00s
- [ 65/124] Installing cups-libs-1:2.4.16 100% |  86.5 MiB/s | 620.2 KiB |  00m00s
- [ 66/124] Installing openh264-0:2.6.0-2 100% | 109.6 MiB/s |   1.1 MiB |  00m00s
- [ 67/124] Installing libopenjph-0:0.22. 100% |  91.3 MiB/s | 467.3 KiB |  00m00s
- [ 68/124] Installing gpgme-0:1.24.3-6.f 100% |  19.2 MiB/s | 590.4 KiB |  00m00s
- [ 69/124] Installing gpgmepp-0:1.24.3-6 100% |  52.5 MiB/s | 430.4 KiB |  00m00s
- [ 70/124] Installing poppler-data-0:0.4 100% | 122.7 MiB/s |  12.4 MiB |  00m00s
- [ 71/124] Installing libpaper-1:2.1.1-9 100% |  24.6 MiB/s |  50.4 KiB |  00m00s
- [ 72/124] Installing libijs-0:0.35-25.f 100% |  30.5 MiB/s |  62.5 KiB |  00m00s
- [ 73/124] Installing jbig2dec-libs-0:0. 100% |  54.2 MiB/s | 166.5 KiB |  00m00s
- [ 74/124] Installing adobe-mappings-pdf 100% | 133.2 MiB/s |   4.4 MiB |  00m00s
- [ 75/124] Installing graphviz-libs-0:13 100% |  88.7 MiB/s |   1.2 MiB |  00m00s
- [ 76/124] Installing google-noto-fonts- 100% |  18.1 MiB/s |  18.5 KiB |  00m00s
- [ 77/124] Installing google-noto-sans-v 100% | 107.0 MiB/s |   1.4 MiB |  00m00s
- [ 78/124] Installing default-fonts-core 100% |   3.6 MiB/s |  18.2 KiB |  00m00s
- [ 79/124] Installing graphite2-0:1.3.14 100% |   6.1 MiB/s | 193.9 KiB |  00m00s
- [ 80/124] Installing freetype-0:2.13.3- 100% |  92.4 MiB/s | 851.9 KiB |  00m00s
- [ 81/124] Installing harfbuzz-0:11.5.1- 100% | 113.1 MiB/s |   2.8 MiB |  00m00s
- [ 82/124] Installing liblerc-0:4.0.0-9. 100% |  87.3 MiB/s | 625.6 KiB |  00m00s
- [ 83/124] Installing jbigkit-libs-0:2.1 100% |  37.6 MiB/s | 115.4 KiB |  00m00s
- [ 84/124] Installing libtiff-0:4.7.1-1. 100% |  87.4 MiB/s | 626.6 KiB |  00m00s
- [ 85/124] Installing netpbm-0:11.13.00- 100% |  94.7 MiB/s | 581.8 KiB |  00m00s
- [ 86/124] Installing gts-0:0.7.6-51.201 100% |  17.5 MiB/s | 643.7 KiB |  00m00s
- [ 87/124] Installing libdatrie-0:0.2.13 100% |  13.4 MiB/s |  54.9 KiB |  00m00s
- [ 88/124] Installing libthai-0:0.1.29-1 100% |  69.7 MiB/s | 785.2 KiB |  00m00s
- [ 89/124] Installing fribidi-0:1.0.16-3 100% |   5.7 MiB/s | 192.8 KiB |  00m00s
- [ 90/124] Installing libvmaf-0:3.0.0-4. 100% |  62.2 MiB/s | 828.4 KiB |  00m00s
- [ 91/124] Installing libaom-0:3.13.3-1. 100% |  82.5 MiB/s |   5.0 MiB |  00m00s
- [ 92/124] Installing libavif-0:1.3.0-2. 100% |  36.1 MiB/s | 259.1 KiB |  00m00s
- [ 93/124] Installing libheif-0:1.20.2-6 100% |  67.5 MiB/s |   1.6 MiB |  00m00s
- [ 94/124] Installing libimagequant-0:4. 100% |  67.6 MiB/s | 692.5 KiB |  00m00s
- [ 95/124] Installing libXpm-0:3.5.17-6. 100% |   5.0 MiB/s | 149.7 KiB |  00m00s
- [ 96/124] Installing xml-common-0:0.6.3 100% |   9.9 MiB/s |  81.1 KiB |  00m00s
- [ 97/124] Installing fontconfig-0:2.17. 100% | 550.3 KiB/s | 785.3 KiB |  00m01s
- [ 98/124] Installing gd-0:2.3.3-19.fc43 100% |  39.5 MiB/s | 404.7 KiB |  00m00s
- [ 99/124] Installing libXft-0:2.3.8-9.f 100% |  20.3 MiB/s | 165.9 KiB |  00m00s
- [100/124] Installing libgs-0:10.05.1-6. 100% |  83.7 MiB/s |  23.6 MiB |  00m00s
- [101/124] Installing poppler-0:25.07.0- 100% |  76.3 MiB/s |   3.8 MiB |  00m00s
- [102/124] Installing pixman-0:0.46.2-2. 100% |  57.9 MiB/s | 711.4 KiB |  00m00s
- [103/124] Installing lzo-0:2.10-15.fc43 100% |  35.3 MiB/s | 180.5 KiB |  00m00s
- [104/124] Installing libXext-0:1.3.6-4. 100% |  22.3 MiB/s |  91.2 KiB |  00m00s
- [105/124] Installing cairo-0:1.18.4-2.f 100% |  93.3 MiB/s |   1.8 MiB |  00m00s
- [106/124] Installing pango-0:1.57.1-1.f 100% |  19.7 MiB/s |   1.0 MiB |  00m00s
- [107/124] Installing lasi-0:1.1.3-17.fc 100% |  31.3 MiB/s | 128.2 KiB |  00m00s
- [108/124] Installing cairo-gobject-0:1. 100% |  10.4 MiB/s |  32.0 KiB |  00m00s
- [109/124] Installing glycin-loaders-0:2 100% |  93.0 MiB/s |  12.7 MiB |  00m00s
- [110/124] Installing glycin-libs-0:2.0. 100% |  75.7 MiB/s |   4.2 MiB |  00m00s
- [111/124] Installing gdk-pixbuf2-0:2.44 100% |  53.7 MiB/s |   2.5 MiB |  00m00s
- [112/124] Installing librsvg2-0:2.61.0- 100% |  79.2 MiB/s |   5.1 MiB |  00m00s
- [113/124] Installing poppler-glib-0:25. 100% |  62.0 MiB/s | 634.9 KiB |  00m00s
- [114/124] Installing gmp-c++-1:6.3.0-4. 100% |   9.3 MiB/s |  28.5 KiB |  00m00s
- [115/124] Installing gmp-devel-1:6.3.0- 100% |  49.4 MiB/s | 354.1 KiB |  00m00s
- [116/124] Installing graphviz-0:13.1.2- 100% |  38.9 MiB/s |   4.0 MiB |  00m00s
- [117/124] Installing perl-CPAN-Meta-0:2 100% |  54.5 MiB/s | 613.8 KiB |  00m00s
- [118/124] Installing perl-Encode-Locale 100% |   9.8 MiB/s |  20.1 KiB |  00m00s
- [119/124] Installing perl-Pod-Html-0:1. 100% |   1.2 MiB/s |  43.9 KiB |  00m00s
- [120/124] Installing perl-FindBin-0:1.5 100% |   3.5 MiB/s |   7.2 KiB |  00m00s
- [121/124] Installing perl-Time-HiRes-4: 100% |  28.8 MiB/s | 117.8 KiB |  00m00s
- [122/124] Removing perl-Errno-0:1.38-52 100% | 111.0   B/s |   2.0   B |  00m00s
- [123/124] Removing perl-interpreter-4:5 100% | 440.0   B/s |  11.0   B |  00m00s
- [124/124] Removing perl-libs-4:5.42.1-5 100% | 751.0   B/s | 803.0   B |  00m01s
- Complete!
+ /usr/sbin/rpm "-q" "--whatprovides" "gmp-devel" "graphviz" "perl-ExtUtils-MakeMaker" "perl-FindBin" "perl-Pod-Html"
- gmp-devel-6.3.0-4.fc43.x86_64
- graphviz-13.1.2-3.fc43.x86_64
- perl-ExtUtils-MakeMaker-7.76-521.fc43.noarch
- perl-FindBin-1.54-523.fc43.noarch
- perl-Pod-Html-1.35-523.fc43.noarch
# To update the current shell environment, run: eval $(opam env)
2026-04-16 17:04.15 ---> saved as "6a7671472b53c05be8d49e83f8a3f3042e90117dd3f57c48fc4262408595093d"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml is already installed (current version is 5.4.1).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 75 packages
- install angstrom            0.16.1
- install arg-complete        0.2.1
- install astring             0.8.5
- install batteries           3.10.0
- install bigstringaf         0.10.0
- install bos                 0.2.1
- install camlp-streams       5.0.1
- install catapult            0.2
- install catapult-file       0.2
- install conf-autoconf       0.2
- install conf-gcc            1.0
- install conf-gmp            5
- install conf-graphviz       0.1
- install conf-perl           2
- install conf-pkg-config     4
- install cppo                1.8.0
- install cpu                 2.0.0
- install csexp               1.5.2
- install cstruct             6.2.0
- install ctypes              0.24.0
- install domain-local-await  1.0.1
- install domain_shims        0.1.0
- install dune                3.22.2
- install dune-build-info     3.22.2
- install dune-compiledb      0.6.0
- install dune-configurator   3.22.2
- install dune-private-libs   3.22.2
- install dune-site           3.22.2
- install dyn                 3.22.2
- install ezjsonm             1.3.0
- install fileutils           0.6.6
- install fmt                 0.11.0
- install fpath               0.7.3
- install fs-io               3.22.2
- install goblint             2.7.1
- install goblint-cil         2.0.9
- install hex                 1.5.0
- install integers            0.7.0
- install json-data-encoding  1.0.1
- install jsonm               1.0.2
- install jsonrpc             1.26.0
- install lintcstubs-arity    0.5.1
- install logs                0.10.0
- install num                 1.6
- install ocaml-compiler-libs v0.17.0
- install ocaml-syntax-shims  1.0.0
- install ocamlbuild          0.16.1
- install ocamlfind           1.9.8
- install ordering            3.22.2
- install parsexp             v0.17.0
- install pp                  2.0.0
- install ppx_blob            0.9.0
- install ppx_derivers        1.2.1
- install ppx_deriving        6.1.1
- install ppx_deriving_hash   0.1.3
- install ppx_deriving_yojson 3.10.0
- install ppxlib              0.38.0
- install qcheck-core         0.91
- install rresult             0.7.0
- install seq                 base
- install sexplib             v0.17.0
- install sexplib0            v0.17.0
- install sha                 1.15.4
- install stdlib-shims        0.3.0
- install stdune              3.22.2
- install stringext           1.6.0
- install thread-table        1.0.0
- install top-closure         3.22.2
- install topkg               1.1.1
- install uri                 4.4.0
- install uuidm               0.9.10
- install uutf                1.0.4
- install yaml                3.2.0
- install yojson              2.2.2
- install zarith              1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1  (cached)
-> retrieved arg-complete.0.2.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved bigstringaf.0.10.0  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved batteries.3.10.0  (cached)
-> retrieved catapult.0.2, catapult-file.0.2  (cached)
-> retrieved cppo.1.8.0  (cached)
-> installed conf-autoconf.0.2
-> installed conf-gcc.1.0
-> installed conf-gmp.5
-> installed conf-graphviz.0.1
-> installed conf-perl.2
-> installed conf-pkg-config.4
-> retrieved cpu.2.0.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> retrieved cstruct.6.2.0  (cached)
-> retrieved ctypes.0.24.0  (cached)
-> retrieved domain-local-await.1.0.1  (cached)
-> retrieved domain_shims.0.1.0  (cached)
-> retrieved dune-compiledb.0.6.0  (cached)
-> retrieved ezjsonm.1.3.0  (cached)
-> retrieved fileutils.0.6.6  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved goblint-cil.2.0.9  (cached)
-> retrieved goblint.2.7.1  (cached)
-> retrieved dune.3.22.2, dune-build-info.3.22.2, dune-configurator.3.22.2, dune-private-libs.3.22.2, dune-site.3.22.2, dyn.3.22.2, fs-io.3.22.2, ordering.3.22.2, stdune.3.22.2, top-closure.3.22.2  (cached)
-> retrieved hex.1.5.0  (cached)
-> retrieved integers.0.7.0  (cached)
-> retrieved json-data-encoding.1.0.1  (cached)
-> retrieved jsonm.1.0.2  (cached)
-> retrieved lintcstubs-arity.0.5.1  (cached)
-> retrieved logs.0.10.0  (cached)
-> retrieved num.1.6  (cached)
-> retrieved ocaml-compiler-libs.v0.17.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved parsexp.v0.17.0  (cached)
-> retrieved pp.2.0.0  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_blob.0.9.0  (cached)
-> retrieved ppx_deriving.6.1.1  (cached)
-> retrieved ppx_deriving_hash.0.1.3  (cached)
-> retrieved ppx_deriving_yojson.3.10.0  (cached)
-> retrieved jsonrpc.1.26.0  (cached)
-> retrieved qcheck-core.0.91  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved rresult.0.7.0  (cached)
-> retrieved sexplib.v0.17.0  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved sha.1.15.4  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved stringext.1.6.0  (cached)
-> retrieved thread-table.1.0.0  (cached)
-> retrieved topkg.1.1.1  (cached)
-> retrieved ppxlib.0.38.0  (cached)
-> retrieved uri.4.4.0  (cached)
-> retrieved uuidm.0.9.10  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved yaml.3.2.0  (cached)
-> retrieved yojson.2.2.2  (cached)
-> installed num.1.6
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed uuidm.0.9.10
-> 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 bos.0.2.1
-> installed dune.3.22.2
-> installed camlp-streams.5.0.1
-> installed catapult.0.2
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed domain_shims.0.1.0
-> installed dune-build-info.3.22.2
-> installed fs-io.3.22.2
-> installed lintcstubs-arity.0.5.1
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ordering.3.22.2
-> installed pp.2.0.0
-> installed ppx_derivers.1.2.1
-> installed qcheck-core.0.91
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed thread-table.1.0.0
-> installed top-closure.3.22.2
-> installed yojson.2.2.2
-> installed catapult-file.0.2
-> installed arg-complete.0.2.1
-> installed dune-configurator.3.22.2
-> installed hex.1.5.0
-> installed fileutils.0.6.6
-> installed integers.0.7.0
-> installed domain-local-await.1.0.1
-> installed dyn.3.22.2
-> installed batteries.3.10.0
-> installed parsexp.v0.17.0
-> installed jsonrpc.1.26.0
-> installed bigstringaf.0.10.0
-> installed ezjsonm.1.3.0
-> installed sha.1.15.4
-> installed cpu.2.0.0
-> installed angstrom.0.16.1
-> installed sexplib.v0.17.0
-> installed dune-compiledb.0.6.0
-> installed uri.4.4.0
-> installed stdune.3.22.2
-> installed json-data-encoding.1.0.1
-> installed ctypes.0.24.0
-> installed dune-private-libs.3.22.2
-> installed dune-site.3.22.2
-> installed yaml.3.2.0
-> installed ppxlib.0.38.0
-> installed ppx_blob.0.9.0
-> installed ppx_deriving.6.1.1
-> installed ppx_deriving_hash.0.1.3
-> installed ppx_deriving_yojson.3.10.0
-> installed goblint-cil.2.0.9
-> installed goblint.2.7.1
Done.


<><> goblint.2.7.1 installed successfully <><><><><><><><><><><><><><><><><><><>
=> Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/).
# To update the current shell environment, run: eval $(opam env)
2026-04-16 17:07.28 ---> saved as "3dc44a672d28447cfeba7435a1c968222c8078bfb731ce4170b7f96707d99691"


/src: (copy (src .) (dst /src))
2026-04-16 17:07.29 ---> saved as "d31e74fa2fd3f78f4a3ab71ec854ce2679e1dcc6ede704b4131579bfb8a29039"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/model/stub/src && /usr/sbin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -Wall -fdiagnostics-color=always -Wno-attributes -g -I /home/opam/.opam/5.4/lib/ocaml -I ../../include -o ocaml_runtime.model.o -c ocaml_runtime.model.c)
ocaml_runtime.model.c: In function '__caml_maybe_run_finalizer':
ocaml_runtime.model.c:225:21: warning: unused variable 'ret' [-Wunused-variable]
225 |             uintnat ret = ops->deserialize(dst);
|                     ^~~
In file included from /home/opam/.opam/5.4/lib/ocaml/caml/alloc.h:20,
from ocaml_runtime.model.c:39:
ocaml_runtime.model.c: In function '__caml_move':
/home/opam/.opam/5.4/lib/ocaml/caml/mlvalues.h:196:21: warning: initialization discards 'volatile' qualifier from pointer target type [-Wdiscarded-qualifiers]
196 | #define Hp_val(val) (((volatile header_t *) (val)) - 1)
|                     ^
ocaml_runtime.model.c:252:18: note: in expansion of macro 'Hp_val'
252 |     void *orig = Hp_val(arg);
|                  ^~~~~~
ocaml_runtime.model.c: In function '__caml_maybe_run_gc':
ocaml_runtime.model.c:282:35: warning: the comparison will always evaluate as 'true' for the address of 'tables' will never be NULL [-Waddress]
282 |                 __goblint_assume(!!lr->tables);
|                                   ^
In file included from /home/opam/.opam/5.4/lib/ocaml/caml/callback.h:22,
from ocaml_runtime.model.c:40:
/home/opam/.opam/5.4/lib/ocaml/caml/memory.h:253:10: note: 'tables' declared here
253 |   value *tables [5];
|          ^~~~~~
ocaml_runtime.model.c: In function 'caml_alloc':
ocaml_runtime.model.c:328:14: warning: unused variable 'i' [-Wunused-variable]
328 |     unsigned i;
|              ^
ocaml_runtime.model.c: In function '__VERIFIER_nondet_value':
ocaml_runtime.model.c:169:21: warning: 'val' is used uninitialized [-Wuninitialized]
169 | { value val; return val; }
|                     ^~~
ocaml_runtime.model.c:169:9: note: 'val' was declared here
169 | { value val; return val; }
|         ^~~
ocaml_runtime.model.c: In function '__VERIFIER_nondet_int32':
ocaml_runtime.model.c:616:23: warning: 'val' is used uninitialized [-Wuninitialized]
616 | { int32_t val; return val; }
|                       ^~~
ocaml_runtime.model.c:616:11: note: 'val' was declared here
616 | { int32_t val; return val; }
|           ^~~
ocaml_runtime.model.c: In function '__VERIFIER_nondet_int64':
ocaml_runtime.model.c:619:23: warning: 'val' is used uninitialized [-Wuninitialized]
619 | { int64_t val; return val; }
|                       ^~~
ocaml_runtime.model.c:619:11: note: 'val' was declared here
619 | { int64_t val; return val; }
|           ^~~
(cd _build/default/example/dune && ../../../install/default/bin/lintcstubs --conf lintcstubs.json --set warn.race-threshold 200 foostubs.c primitives.model.c -I /home/opam/.opam/5.4/lib/ocaml -o foo.sarif) > _build/default/example/dune/foo.log
sh: line 1: pygmentize: command not found
2026-04-16 17:07.45 ---> saved as "70c7d2d35fba07b97225223527cf6a8469b0591885bf7cf149e0ab3cc1b72ade"
Job succeeded
2026-04-16 17:07.45: Job succeeded