Building on x86-bm-c9.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
63563b31af74: Pulling fs layer
63563b31af74: Verifying Checksum
63563b31af74: Download complete
63563b31af74: Pull complete
Digest: sha256:8f6038a9795a3c7cc61b90b742e29558b247d69f92f73dea67cb146602ff83f6
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-02-24 02:26.19 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-02-24 02:26.19 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 4022a684b64be8161a05cf897f492f8680792469"))
2025-02-24 02:26.19 ---> using "ced9ab1d6bac3c5f95cfdac2696c8d9202989b3f52ba62400bb20a10ac63d439" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
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.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-02-24 02:26.19 ---> using "69f716af23f9139c4566fb0532f54e56ee4f6773c11e689dc47229d6a744c7e1" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam switch create --repositories=default '5.3' '5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"} | "ocaml-system" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3)
2025-02-24 02:26.19 ---> using "8cb80bdf8c98b441ca1a62ad13717befd2e70e905b796cad3ff69df4d26bf351" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [205 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-21-0817.39-F-2025-02-16-2015.54.pdiff [385 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-02-21-0817.39-F-2025-02-16-2015.54.pdiff [385 kB]
- Fetched 654 kB in 3s (260 kB/s)
- Reading package lists...
-
2025-02-24 02:26.19 ---> using "aab064613a33ea1c8e4184107fb782b7e34e02d2710ba539b18cbd20a9d40c72" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "opam pin add -k version dune $(opam show -f version dune)"))
dune is now pinned to version 3.17.2
The following actions will be performed:
=== install 1 package
- install dune 3.17.2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.17.2 (cached)
-> installed dune.3.17.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-02-24 02:26.19 ---> using "ab68111ecaec8e96a659d3801d58f9f48b56993ae57778afc853e701c3286214" from cache
/: (env DUNE_CACHE enabled)
/: (env DUNE_CACHE_TRANSPORT direct)
/: (env DUNE_CACHE_DUPLICATION copy)
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "curl -fsSL https://get.dune.build/install | sh"))
#=#=#
##O#-#
0.1%
1.2%
## 3.1%
######### 12.7%
################## 26.1%
################################################################## 92.4%
######################################################################## 100.0%
dune x86_64-unknown-linux-musl was installed successfully to ~/.local/bin/dune
To use dune you will need to source the file "$HOME/.local/share/dune/env/env.bash" (or similar as appropriate for your shell)
export PATH="/home/opam/.local/bin:$PATH"
To get started, run:
dune --help
2025-02-24 02:26.19 ---> using "91706ab83e18623d5f5c55809c19ede302298d1fa58d418458556ddcfa9179ed" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "PLACE=$(mktemp -d) && cd $PLACE && echo '(lang dune 3.17)\
\n(package\
\n (name dummy)\
\n (allow_empty true)\
\n (depends (ocaml (= 5.3.0))))' > dune-project && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Solution for dune.lock:
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-config.3
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
2025-02-24 02:26.19 ---> using "23d3c9485a3a95dd6f64bf73b0bd06b36016919a287108bba74001e847c99f7d" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
(network host)
(shell "cd $HOME && opam source swipl.0.5 && cd swipl.0.5 && opam install ./ --depext-only --with-test && echo '(lang dune 3.17)\
\n(lock_dir\
\n (repositories overlay default ))\
\n\
\n(repository\
\n (name default)\
\n (url \"git+https://github.com/ocaml/opam-repository.git\"))\
\n\
\n\
\n' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build"))
Successfully extracted to /home/opam/swipl.0.5
The following system packages will first need to be installed:
libffi-dev pkg-config swi-prolog
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libffi-dev" "pkg-config" "swi-prolog"
- Preconfiguring packages ...
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19826 files and directories currently installed.)
- Preparing to unpack .../bsdutils_1%3a2.40.4-4_amd64.deb ...
- Unpacking bsdutils (1:2.40.4-4) over (1:2.40.4-3) ...
- Setting up bsdutils (1:2.40.4-4) ...
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19826 files and directories currently installed.)
- Preparing to unpack .../libuuid1_2.40.4-4_amd64.deb ...
- Unpacking libuuid1:amd64 (2.40.4-4) over (2.40.4-3) ...
- Setting up libuuid1:amd64 (2.40.4-4) ...
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19826 files and directories currently installed.)
- Preparing to unpack .../libblkid1_2.40.4-4_amd64.deb ...
- Unpacking libblkid1:amd64 (2.40.4-4) over (2.40.4-3) ...
- Setting up libblkid1:amd64 (2.40.4-4) ...
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19826 files and directories currently installed.)
- Preparing to unpack .../libmount1_2.40.4-4_amd64.deb ...
- Unpacking libmount1:amd64 (2.40.4-4) over (2.40.4-3) ...
- Setting up libmount1:amd64 (2.40.4-4) ...
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19826 files and directories currently installed.)
- Preparing to unpack .../libsmartcols1_2.40.4-4_amd64.deb ...
- Unpacking libsmartcols1:amd64 (2.40.4-4) over (2.40.4-3) ...
- Setting up libsmartcols1:amd64 (2.40.4-4) ...
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19826 files and directories currently installed.)
- Preparing to unpack .../util-linux_2.40.4-4_amd64.deb ...
- Unpacking util-linux (2.40.4-4) over (2.40.4-3) ...
- Setting up util-linux (2.40.4-4) ...
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19823 files and directories currently installed.)
- Preparing to unpack .../mount_2.40.4-4_amd64.deb ...
- Unpacking mount (2.40.4-4) over (2.40.4-3) ...
- Preparing to unpack .../login_1%3a4.16.0-2+really2.40.4-4_amd64.deb ...
- Unpacking login (1:4.16.0-2+really2.40.4-4) over (1:4.16.0-2+really2.40.4-3) ...
- Selecting previously unselected package libpython3.13-minimal:amd64.
- Preparing to unpack .../libpython3.13-minimal_3.13.2-1_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.2-1) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.2-1_amd64.deb ...
- Unpacking python3.13-minimal (3.13.2-1) ...
- Setting up libpython3.13-minimal:amd64 (3.13.2-1) ...
- Setting up python3.13-minimal (3.13.2-1) ...
- Selecting previously unselected package python3-minimal.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20148 files and directories currently installed.)
- Preparing to unpack .../python3-minimal_3.13.1-2_amd64.deb ...
- Unpacking python3-minimal (3.13.1-2) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../media-types_11.0.0_all.deb ...
- Unpacking media-types (11.0.0) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../libpython3.13-stdlib_3.13.2-1_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.2-1) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../python3.13_3.13.2-1_amd64.deb ...
- Unpacking python3.13 (3.13.2-1) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../libpython3-stdlib_3.13.1-2_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.1-2) ...
- Setting up python3-minimal (3.13.1-2) ...
- Selecting previously unselected package python3.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20598 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.13.1-2_amd64.deb ...
- Unpacking python3 (3.13.1-2) ...
- Selecting previously unselected package sensible-utils.
- Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ...
- Unpacking sensible-utils (0.0.24) ...
- Selecting previously unselected package libmagic-mgc.
- Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3+b1_amd64.deb ...
- Unpacking libmagic-mgc (1:5.45-3+b1) ...
- Selecting previously unselected package libmagic1t64:amd64.
- Preparing to unpack .../03-libmagic1t64_1%3a5.45-3+b1_amd64.deb ...
- Unpacking libmagic1t64:amd64 (1:5.45-3+b1) ...
- Selecting previously unselected package file.
- Preparing to unpack .../04-file_1%3a5.45-3+b1_amd64.deb ...
- Unpacking file (1:5.45-3+b1) ...
- Selecting previously unselected package gettext-base.
- Preparing to unpack .../05-gettext-base_0.23.1-1_amd64.deb ...
- Unpacking gettext-base (0.23.1-1) ...
- Selecting previously unselected package libuchardet0:amd64.
- Preparing to unpack .../06-libuchardet0_0.0.8-1+b2_amd64.deb ...
- Unpacking libuchardet0:amd64 (0.0.8-1+b2) ...
- Selecting previously unselected package groff-base.
- Preparing to unpack .../07-groff-base_1.23.0-7_amd64.deb ...
- Unpacking groff-base (1.23.0-7) ...
- Selecting previously unselected package bsdextrautils.
- Preparing to unpack .../08-bsdextrautils_2.40.4-4_amd64.deb ...
- Unpacking bsdextrautils (2.40.4-4) ...
- Selecting previously unselected package libpipeline1:amd64.
- Preparing to unpack .../09-libpipeline1_1.5.8-1_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.8-1) ...
- Selecting previously unselected package man-db.
- Preparing to unpack .../10-man-db_2.13.0-1_amd64.deb ...
- Unpacking man-db (2.13.0-1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../11-m4_1.4.19-5_amd64.deb ...
- Unpacking m4 (1.4.19-5) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../12-autoconf_2.72-3_all.deb ...
- Unpacking autoconf (2.72-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../14-automake_1%3a1.17-3_all.deb ...
- Unpacking automake (1:1.17-3) ...
- Selecting previously unselected package autopoint.
- Preparing to unpack .../15-autopoint_0.23.1-1_all.deb ...
- Unpacking autopoint (0.23.1-1) ...
- Selecting previously unselected package libdebhelper-perl.
- Preparing to unpack .../16-libdebhelper-perl_13.24.1_all.deb ...
- Unpacking libdebhelper-perl (13.24.1) ...
- Selecting previously unselected package libtool.
- Preparing to unpack .../17-libtool_2.5.4-3_all.deb ...
- Unpacking libtool (2.5.4-3) ...
- Selecting previously unselected package dh-autoreconf.
- Preparing to unpack .../18-dh-autoreconf_20_all.deb ...
- Unpacking dh-autoreconf (20) ...
- Selecting previously unselected package libarchive-zip-perl.
- Preparing to unpack .../19-libarchive-zip-perl_1.68-1_all.deb ...
- Unpacking libarchive-zip-perl (1.68-1) ...
- Selecting previously unselected package libfile-stripnondeterminism-perl.
- Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.14.1-2_all.deb ...
- Unpacking libfile-stripnondeterminism-perl (1.14.1-2) ...
- Selecting previously unselected package dh-strip-nondeterminism.
- Preparing to unpack .../21-dh-strip-nondeterminism_1.14.1-2_all.deb ...
- Unpacking dh-strip-nondeterminism (1.14.1-2) ...
- Selecting previously unselected package libelf1t64:amd64.
- Preparing to unpack .../22-libelf1t64_0.192-4_amd64.deb ...
- Unpacking libelf1t64:amd64 (0.192-4) ...
- Selecting previously unselected package dwz.
- Preparing to unpack .../23-dwz_0.15-1+b1_amd64.deb ...
- Unpacking dwz (0.15-1+b1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../24-libicu72_72.1-6_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-6) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../25-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
- Selecting previously unselected package gettext.
- Preparing to unpack .../26-gettext_0.23.1-1_amd64.deb ...
- Unpacking gettext (0.23.1-1) ...
- Selecting previously unselected package intltool-debian.
- Preparing to unpack .../27-intltool-debian_0.35.0+20060710.6_all.deb ...
- Unpacking intltool-debian (0.35.0+20060710.6) ...
- Selecting previously unselected package po-debconf.
- Preparing to unpack .../28-po-debconf_1.0.21+nmu1_all.deb ...
- Unpacking po-debconf (1.0.21+nmu1) ...
- Selecting previously unselected package debhelper.
- Preparing to unpack .../29-debhelper_13.24.1_all.deb ...
- Unpacking debhelper (13.24.1) ...
- Selecting previously unselected package fonts-dejavu-mono.
- Preparing to unpack .../30-fonts-dejavu-mono_2.37-8_all.deb ...
- Unpacking fonts-dejavu-mono (2.37-8) ...
- Selecting previously unselected package fonts-dejavu-core.
- Preparing to unpack .../31-fonts-dejavu-core_2.37-8_all.deb ...
- Unpacking fonts-dejavu-core (2.37-8) ...
- Selecting previously unselected package fontconfig-config.
- Preparing to unpack .../32-fontconfig-config_2.15.0-2_amd64.deb ...
- Unpacking fontconfig-config (2.15.0-2) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../33-javascript-common_12_all.deb ...
- Unpacking javascript-common (12) ...
- Selecting previously unselected package libarchive-cpio-perl.
- Preparing to unpack .../34-libarchive-cpio-perl_0.10-3_all.deb ...
- Unpacking libarchive-cpio-perl (0.10-3) ...
- Selecting previously unselected package libarchive13t64:amd64.
- Preparing to unpack .../35-libarchive13t64_3.7.4-1.1_amd64.deb ...
- Unpacking libarchive13t64:amd64 (3.7.4-1.1) ...
- Selecting previously unselected package libffi-dev:amd64.
- Preparing to unpack .../36-libffi-dev_3.4.7-1_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.7-1) ...
- Selecting previously unselected package libpng16-16t64:amd64.
- Preparing to unpack .../37-libpng16-16t64_1.6.46-4_amd64.deb ...
- Unpacking libpng16-16t64:amd64 (1.6.46-4) ...
- Selecting previously unselected package libfreetype6:amd64.
- Preparing to unpack .../38-libfreetype6_2.13.3+dfsg-1_amd64.deb ...
- Unpacking libfreetype6:amd64 (2.13.3+dfsg-1) ...
- Selecting previously unselected package libfontconfig1:amd64.
- Preparing to unpack .../39-libfontconfig1_2.15.0-2_amd64.deb ...
- Unpacking libfontconfig1:amd64 (2.15.0-2) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../40-x11-common_1%3a7.7+24_all.deb ...
- Unpacking x11-common (1:7.7+24) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../41-libice6_2%3a1.1.1-1_amd64.deb ...
- Unpacking libice6:amd64 (2:1.1.1-1) ...
- Selecting previously unselected package libjpeg62-turbo:amd64.
- Preparing to unpack .../42-libjpeg62-turbo_1%3a2.1.5-3+b1_amd64.deb ...
- Unpacking libjpeg62-turbo:amd64 (1:2.1.5-3+b1) ...
- Selecting previously unselected package libjs-jquery.
- Preparing to unpack .../43-libjs-jquery_3.6.1+dfsg+~3.5.14-1_all.deb ...
- Unpacking libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Selecting previously unselected package libltdl7:amd64.
- Preparing to unpack .../44-libltdl7_2.5.4-3_amd64.deb ...
- Unpacking libltdl7:amd64 (2.5.4-3) ...
- Selecting previously unselected package libltdl-dev:amd64.
- Preparing to unpack .../45-libltdl-dev_2.5.4-3_amd64.deb ...
- Unpacking libltdl-dev:amd64 (2.5.4-3) ...
- Selecting previously unselected package libsys-hostname-long-perl.
- Preparing to unpack .../46-libsys-hostname-long-perl_1.5-3_all.deb ...
- Unpacking libsys-hostname-long-perl (1.5-3) ...
- Selecting previously unselected package libmail-sendmail-perl.
- Preparing to unpack .../47-libmail-sendmail-perl_0.80-3_all.deb ...
- Unpacking libmail-sendmail-perl (0.80-3) ...
- Selecting previously unselected package libossp-uuid16:amd64.
- Preparing to unpack .../48-libossp-uuid16_1.6.4-1_amd64.deb ...
- Unpacking libossp-uuid16:amd64 (1.6.4-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../49-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package libpython3.13:amd64.
- Preparing to unpack .../50-libpython3.13_3.13.2-1_amd64.deb ...
- Unpacking libpython3.13:amd64 (3.13.2-1) ...
- Selecting previously unselected package libsm6:amd64.
- Preparing to unpack .../51-libsm6_2%3a1.2.4-1_amd64.deb ...
- Unpacking libsm6:amd64 (2:1.2.4-1) ...
- Selecting previously unselected package libtcmalloc-minimal4t64:amd64.
- Preparing to unpack .../52-libtcmalloc-minimal4t64_2.16-1_amd64.deb ...
- Unpacking libtcmalloc-minimal4t64:amd64 (2.16-1) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../53-libxrender1_1%3a0.9.10-1.1+b4_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.10-1.1+b4) ...
- Selecting previously unselected package libxft2:amd64.
- Preparing to unpack .../54-libxft2_2.3.6-1+b4_amd64.deb ...
- Unpacking libxft2:amd64 (2.3.6-1+b4) ...
- Selecting previously unselected package libxinerama1:amd64.
- Preparing to unpack .../55-libxinerama1_2%3a1.1.4-3+b3_amd64.deb ...
- Unpacking libxinerama1:amd64 (2:1.1.4-3+b3) ...
- Selecting previously unselected package libxpm4:amd64.
- Preparing to unpack .../56-libxpm4_1%3a3.5.17-1+b3_amd64.deb ...
- Unpacking libxpm4:amd64 (1:3.5.17-1+b3) ...
- Selecting previously unselected package libxt6t64:amd64.
- Preparing to unpack .../57-libxt6t64_1%3a1.2.1-1.2+b2_amd64.deb ...
- Unpacking libxt6t64:amd64 (1:1.2.1-1.2+b2) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../58-libyaml-0-2_0.2.5-2_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../59-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../60-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../61-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Selecting previously unselected package swi-prolog-core.
- Preparing to unpack .../62-swi-prolog-core_9.2.9+dfsg-1+b1_amd64.deb ...
- Unpacking swi-prolog-core (9.2.9+dfsg-1+b1) ...
- Selecting previously unselected package swi-prolog-doc.
- Preparing to unpack .../63-swi-prolog-doc_9.2.9+dfsg-1_all.deb ...
- Unpacking swi-prolog-doc (9.2.9+dfsg-1) ...
- Selecting previously unselected package swi-prolog-core-packages.
- Preparing to unpack .../64-swi-prolog-core-packages_9.2.9+dfsg-1+b1_amd64.deb ...
- Unpacking swi-prolog-core-packages (9.2.9+dfsg-1+b1) ...
- Selecting previously unselected package swi-prolog-nox.
- Preparing to unpack .../65-swi-prolog-nox_9.2.9+dfsg-1+b1_amd64.deb ...
- Unpacking swi-prolog-nox (9.2.9+dfsg-1+b1) ...
- Selecting previously unselected package swi-prolog-x.
- Preparing to unpack .../66-swi-prolog-x_9.2.9+dfsg-1+b1_amd64.deb ...
- Unpacking swi-prolog-x (9.2.9+dfsg-1+b1) ...
- Selecting previously unselected package swi-prolog.
- Preparing to unpack .../67-swi-prolog_9.2.9+dfsg-1+b1_amd64.deb ...
- Unpacking swi-prolog (9.2.9+dfsg-1+b1) ...
- Setting up media-types (11.0.0) ...
- Setting up libpipeline1:amd64 (1.5.8-1) ...
- Setting up javascript-common (12) ...
- Setting up libicu72:amd64 (72.1-6) ...
- Setting up bsdextrautils (2.40.4-4) ...
- Setting up libxpm4:amd64 (1:3.5.17-1+b3) ...
- Setting up libxrender1:amd64 (1:0.9.10-1.1+b4) ...
- Setting up libmagic-mgc (1:5.45-3+b1) ...
- Setting up libarchive-zip-perl (1.68-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-2) ...
- Setting up libdebhelper-perl (13.24.1) ...
- Setting up libmagic1t64:amd64 (1:5.45-3+b1) ...
- Setting up x11-common (1:7.7+24) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of start.
- Setting up gettext-base (0.23.1-1) ...
- Setting up m4 (1.4.19-5) ...
- Setting up file (1:5.45-3+b1) ...
- Setting up libossp-uuid16:amd64 (1.6.4-1) ...
- Setting up libffi-dev:amd64 (3.4.7-1) ...
- Setting up libelf1t64:amd64 (0.192-4) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libjpeg62-turbo:amd64 (1:2.1.5-3+b1) ...
- Setting up libxinerama1:amd64 (2:1.1.4-3+b3) ...
- Setting up fonts-dejavu-mono (2.37-8) ...
- Setting up libpng16-16t64:amd64 (1.6.46-4) ...
- Setting up autopoint (0.23.1-1) ...
- Setting up libtcmalloc-minimal4t64:amd64 (2.16-1) ...
- Setting up fonts-dejavu-core (2.37-8) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libltdl7:amd64 (2.5.4-3) ...
- Setting up autoconf (2.72-3) ...
- Setting up dwz (0.15-1+b1) ...
- Setting up mount (2.40.4-4) ...
- Setting up sensible-utils (0.0.24) ...
- Setting up libarchive-cpio-perl (0.10-3) ...
- Setting up libuchardet0:amd64 (0.0.8-1+b2) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up libsys-hostname-long-perl (1.5-3) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.2-1) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
- Setting up libpython3-stdlib:amd64 (3.13.1-2) ...
- Setting up login (1:4.16.0-2+really2.40.4-4) ...
- Setting up libpython3.13:amd64 (3.13.2-1) ...
- Setting up automake (1:1.17-3) ...
- update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
- Setting up libfile-stripnondeterminism-perl (1.14.1-2) ...
- Setting up libice6:amd64 (2:1.1.1-1) ...
- Setting up gettext (0.23.1-1) ...
- Setting up libtool (2.5.4-3) ...
- Setting up python3.13 (3.13.2-1) ...
- Setting up fontconfig-config (2.15.0-2) ...
- Setting up python3 (3.13.1-2) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up intltool-debian (0.35.0+20060710.6) ...
- Setting up dh-autoreconf (20) ...
- Setting up libmail-sendmail-perl (0.80-3) ...
- Setting up libltdl-dev:amd64 (2.5.4-3) ...
- Setting up libfreetype6:amd64 (2.13.3+dfsg-1) ...
- Setting up swi-prolog-core (9.2.9+dfsg-1+b1) ...
- update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Setting up dh-strip-nondeterminism (1.14.1-2) ...
- Setting up groff-base (1.23.0-7) ...
- Setting up swi-prolog-core-packages (9.2.9+dfsg-1+b1) ...
- Setting up libfontconfig1:amd64 (2.15.0-2) ...
- Setting up libsm6:amd64 (2:1.2.4-1) ...
- Setting up libarchive13t64:amd64 (3.7.4-1.1) ...
- Setting up libxft2:amd64 (2.3.6-1+b4) ...
- Setting up po-debconf (1.0.21+nmu1) ...
- Setting up swi-prolog-doc (9.2.9+dfsg-1) ...
- Setting up man-db (2.13.0-1) ...
- Building database of manual pages ...
- Setting up libxt6t64:amd64 (1:1.2.1-1.2+b2) ...
- Setting up swi-prolog-nox (9.2.9+dfsg-1+b1) ...
- Setting up swi-prolog-x (9.2.9+dfsg-1+b1) ...
- Setting up debhelper (13.24.1) ...
- Setting up swi-prolog (9.2.9+dfsg-1+b1) ...
- Processing triggers for libc-bin (2.40-7) ...
Solution for dune.lock:
- base-unix.base
- bigarray-compat.1.1.0
- conf-swi-prolog.1
- cppo.1.8.0
- csexp.1.5.2
- ctypes.0.23.0
- dune-configurator.3.17.2
- integers.0.7.0
- ocaml.5.3.0
- ocaml-base-compiler.5.3.0
- ocaml-compiler.5.3.0
- ocaml-compiler-libs.v0.17.0
- ocaml-config.3
- ocamlfind.1.9.8+dune
- ppx_derivers.1.2.1
- ppx_deriving.6.0.3
- ppxlib.0.35.0
- sexplib0.v0.17.0
- stdlib-shims.0.3.0
Downloading ocaml-compiler.5.3.0
Building ocaml-compiler.5.3.0
Building ocaml-base-compiler.5.3.0
Building base-unix.base
Building ocaml-config.3
Building ocaml.5.3.0
Downloading sexplib0.v0.17.0
Downloading ocaml-compiler-libs.v0.17.0
Building sexplib0.v0.17.0
Building ocaml-compiler-libs.v0.17.0
Downloading ppx_derivers.1.2.1
Building ppx_derivers.1.2.1
Downloading ocamlfind.1.9.8+dune
Downloading cppo.1.8.0
Building ocamlfind.1.9.8+dune
Building cppo.1.8.0
Downloading stdlib-shims.0.3.0
Building stdlib-shims.0.3.0
Downloading ppxlib.0.35.0
Building ppxlib.0.35.0
Downloading ppx_deriving.6.0.3
Building ppx_deriving.6.0.3
Downloading bigarray-compat.1.1.0
Building bigarray-compat.1.1.0
Downloading integers.0.7.0
Building integers.0.7.0
Downloading csexp.1.5.2
Building csexp.1.5.2
Downloading dune-configurator.3.17.2
Building dune-configurator.3.17.2
Downloading ctypes.0.23.0
Building ctypes.0.23.0
Building conf-swi-prolog.1
File "lib/dune", line 4, characters 19-33:
4 | (libraries ctypes ctypes.foreign str bindings)
^^^^^^^^^^^^^^
Error: Library "ctypes.foreign" not found.
-> required by library "swipl.swipl" in _build/default/lib
-> required by _build/default/META.swipl
-> required by alias all
-> required by alias default
File "config/dune", line 3, characters 17-22:
3 | (libraries base stdio dune-configurator))
^^^^^
Error: Library "stdio" not found.
-> required by _build/default/config/discover.exe
-> required by _build/default/lib/c_flags.sexp
-> required by alias lib/all
-> required by alias default
"/usr/bin/env" "bash" "-c" "cd $HOME && opam source swipl.0.5 && cd swipl.0.5 && opam install ./ --depext-only --with-test && echo '(lang dune 3.17)
(lock_dir
(repositories overlay default ))
(repository
(name default)
(url "git+https://github.com/ocaml/opam-repository.git"))
' > dune-workspace && PATH=$HOME/.local/bin:$PATH dune pkg lock && PATH=$HOME/.local/bin:$PATH dune build" failed with exit status 1
Failed: Build failed
Home|Differences with the last checks|Previous runs