Building on x86-bm-c13.sw.ocaml.org
(from ocaml/opam:debian-unstable)
2024-03-16 04:27.47 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-03-16 04:27.47 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" 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 ac9a846c007d1cde3764459aeae5b75c2f8b7aa8"))
2024-03-16 04:27.47 ---> using "f6daa5a185e151575958bea1bc7ebf168b134457b47fd2bceccea664c8ac3953" 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.
2024-03-16 04:27.47 ---> using "18a4f9bae2d8e0b81b324227a340acbc6fb6adc121711142b1a69c92072eb64b" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.0' '5.0.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.0.0"} | "ocaml-system" {= "5.0.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.0.0 (cached)
-> installed ocaml-base-compiler.5.0.0
-> installed ocaml-config.3
-> installed ocaml.5.0.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# Run eval $(opam env --switch=5.0) to update the current shell environment
2024-03-16 04:27.47 ---> using "5d11e26b54cd8d53a366092f138bac1d66998e7c9c071436c2e49483e197a936" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [198 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-2024-03-15-1419.03-F-2024-03-08-1426.34.pdiff [1202 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-03-15-1419.03-F-2024-03-08-1426.34.pdiff [1202 kB]
- Fetched 1464 kB in 4s (411 kB/s)
- Reading package lists...
-
2024-03-16 04:27.47 ---> using "6b85e139d472f2a5d3bc623d507cd520c18ded34e93922816e31990890666680" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"conf-swi-prolog.1\"\
\nopam install -vy \"conf-swi-prolog.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"conf-swi-prolog.1\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] conf-swi-prolog.1 is not installed.
Nothing to do.
The following actions will be performed:
=== install 1 package
- install conf-swi-prolog 1
The following system packages will first need to be installed:
swi-prolog
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "swi-prolog"
- debconf: delaying package configuration, since apt-utils is not installed
- dpkg: libnettle8:amd64: dependency problems, but removing anyway as you requested:
- librtmp1:amd64 depends on libnettle8.
- libhogweed6:amd64 depends on libnettle8.
- libgnutls30t64:amd64 depends on libnettle8 (>= 3.9~).
- libcurl3-gnutls:amd64 depends on libnettle8.
-
- (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 ... 19656 files and directories currently installed.)
- Removing libnettle8:amd64 (3.9.1-2+b1) ...
- Selecting previously unselected package libnettle8t64:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19647 files and directories currently installed.)
- Preparing to unpack .../libnettle8t64_3.9.1-2.2_amd64.deb ...
- Unpacking libnettle8t64:amd64 (3.9.1-2.2) ...
- dpkg: libreadline8:amd64: dependency problems, but removing anyway as you requested:
- gpgsm depends on libreadline8 (>= 6.0).
- gpgconf depends on libreadline8 (>= 6.0).
- gpg depends on libreadline8 (>= 6.0).
- gnupg-utils depends on libreadline8 (>= 6.0).
-
- (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 ... 19656 files and directories currently installed.)
- Removing libreadline8:amd64 (8.2-3+b1) ...
- Selecting previously unselected package libreadline8t64:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19642 files and directories currently installed.)
- Preparing to unpack .../00-libreadline8t64_8.2-3.1_amd64.deb ...
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to /lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to /lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to /lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
- Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to /lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
- Unpacking libreadline8t64:amd64 (8.2-3.1) ...
- Selecting previously unselected package sensible-utils.
- Preparing to unpack .../01-sensible-utils_0.0.22_all.deb ...
- Unpacking sensible-utils (0.0.22) ...
- Selecting previously unselected package libmagic-mgc.
- Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3_amd64.deb ...
- Unpacking libmagic-mgc (1:5.45-3) ...
- Selecting previously unselected package libmagic1t64:amd64.
- Preparing to unpack .../03-libmagic1t64_1%3a5.45-3_amd64.deb ...
- Unpacking libmagic1t64:amd64 (1:5.45-3) ...
- Selecting previously unselected package file.
- Preparing to unpack .../04-file_1%3a5.45-3_amd64.deb ...
- Unpacking file (1:5.45-3) ...
- Selecting previously unselected package gettext-base.
- Preparing to unpack .../05-gettext-base_0.21-14+b1_amd64.deb ...
- Unpacking gettext-base (0.21-14+b1) ...
- Selecting previously unselected package libuchardet0:amd64.
- Preparing to unpack .../06-libuchardet0_0.0.8-1+b1_amd64.deb ...
- Unpacking libuchardet0:amd64 (0.0.8-1+b1) ...
- Selecting previously unselected package groff-base.
- Preparing to unpack .../07-groff-base_1.23.0-3+b1_amd64.deb ...
- Unpacking groff-base (1.23.0-3+b1) ...
- Selecting previously unselected package bsdextrautils.
- Preparing to unpack .../08-bsdextrautils_2.39.3-10_amd64.deb ...
- Unpacking bsdextrautils (2.39.3-10) ...
- Selecting previously unselected package libpipeline1:amd64.
- Preparing to unpack .../09-libpipeline1_1.5.7-1+b2_amd64.deb ...
- Unpacking libpipeline1:amd64 (1.5.7-1+b2) ...
- Selecting previously unselected package man-db.
- Preparing to unpack .../10-man-db_2.12.0-3_amd64.deb ...
- Unpacking man-db (2.12.0-3) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../11-m4_1.4.19-4_amd64.deb ...
- Unpacking m4 (1.4.19-4) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../12-autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-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.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Selecting previously unselected package autopoint.
- Preparing to unpack .../15-autopoint_0.21-14_all.deb ...
- Unpacking autopoint (0.21-14) ...
- Selecting previously unselected package libdebhelper-perl.
- Preparing to unpack .../16-libdebhelper-perl_13.14.1_all.deb ...
- Unpacking libdebhelper-perl (13.14.1) ...
- Selecting previously unselected package libtool.
- Preparing to unpack .../17-libtool_2.4.7-7_all.deb ...
- Unpacking libtool (2.4.7-7) ...
- 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 libsub-override-perl.
- Preparing to unpack .../20-libsub-override-perl_0.10-1_all.deb ...
- Unpacking libsub-override-perl (0.10-1) ...
- Selecting previously unselected package libfile-stripnondeterminism-perl.
- Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ...
- Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ...
- Selecting previously unselected package dh-strip-nondeterminism.
- Preparing to unpack .../22-dh-strip-nondeterminism_1.13.1-1_all.deb ...
- Unpacking dh-strip-nondeterminism (1.13.1-1) ...
- Selecting previously unselected package libelf1:amd64.
- Preparing to unpack .../23-libelf1_0.190-1+b1_amd64.deb ...
- Unpacking libelf1:amd64 (0.190-1+b1) ...
- Selecting previously unselected package dwz.
- Preparing to unpack .../24-dwz_0.15-1_amd64.deb ...
- Unpacking dwz (0.15-1) ...
- Selecting previously unselected package libicu72:amd64.
- Preparing to unpack .../25-libicu72_72.1-4+b1_amd64.deb ...
- Unpacking libicu72:amd64 (72.1-4+b1) ...
- Selecting previously unselected package libxml2:amd64.
- Preparing to unpack .../26-libxml2_2.9.14+dfsg-1.3+b2_amd64.deb ...
- Unpacking libxml2:amd64 (2.9.14+dfsg-1.3+b2) ...
- Selecting previously unselected package gettext.
- Preparing to unpack .../27-gettext_0.21-14+b1_amd64.deb ...
- Unpacking gettext (0.21-14+b1) ...
- Selecting previously unselected package intltool-debian.
- Preparing to unpack .../28-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 .../29-po-debconf_1.0.21+nmu1_all.deb ...
- Unpacking po-debconf (1.0.21+nmu1) ...
- Selecting previously unselected package debhelper.
- Preparing to unpack .../30-debhelper_13.14.1_all.deb ...
- Unpacking debhelper (13.14.1) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../31-javascript-common_11+nmu1_all.deb ...
- Unpacking javascript-common (11+nmu1) ...
- Selecting previously unselected package libarchive-cpio-perl.
- Preparing to unpack .../32-libarchive-cpio-perl_0.10-3_all.deb ...
- Unpacking libarchive-cpio-perl (0.10-3) ...
- Selecting previously unselected package libarchive13t64:amd64.
- Preparing to unpack .../33-libarchive13t64_3.7.2-1.1_amd64.deb ...
- Unpacking libarchive13t64:amd64 (3.7.2-1.1) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../34-x11-common_1%3a7.7+23_all.deb ...
- Unpacking x11-common (1:7.7+23) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../35-libice6_2%3a1.0.10-1_amd64.deb ...
- Unpacking libice6:amd64 (2:1.0.10-1) ...
- Selecting previously unselected package libjs-jquery.
- Preparing to unpack .../36-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 .../37-libltdl7_2.4.7-7_amd64.deb ...
- Unpacking libltdl7:amd64 (2.4.7-7) ...
- Selecting previously unselected package libltdl-dev:amd64.
- Preparing to unpack .../38-libltdl-dev_2.4.7-7_amd64.deb ...
- Unpacking libltdl-dev:amd64 (2.4.7-7) ...
- Selecting previously unselected package libsys-hostname-long-perl.
- Preparing to unpack .../39-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 .../40-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 .../41-libossp-uuid16_1.6.2-1.5+b13_amd64.deb ...
- Unpacking libossp-uuid16:amd64 (1.6.2-1.5+b13) ...
- Selecting previously unselected package libsm6:amd64.
- Preparing to unpack .../42-libsm6_2%3a1.2.3-1_amd64.deb ...
- Unpacking libsm6:amd64 (2:1.2.3-1) ...
- Selecting previously unselected package libtcmalloc-minimal4t64:amd64.
- Preparing to unpack .../43-libtcmalloc-minimal4t64_2.15-3_amd64.deb ...
- Unpacking libtcmalloc-minimal4t64:amd64 (2.15-3) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../44-libxrender1_1%3a0.9.10-1.1_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.10-1.1) ...
- Selecting previously unselected package libxft2:amd64.
- Preparing to unpack .../45-libxft2_2.3.6-1+b1_amd64.deb ...
- Unpacking libxft2:amd64 (2.3.6-1+b1) ...
- Selecting previously unselected package libxt6t64:amd64.
- Preparing to unpack .../46-libxt6t64_1%3a1.2.1-1.2_amd64.deb ...
- Unpacking libxt6t64:amd64 (1:1.2.1-1.2) ...
- Selecting previously unselected package libyaml-0-2:amd64.
- Preparing to unpack .../47-libyaml-0-2_0.2.5-1_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-1) ...
- Selecting previously unselected package swi-prolog-core.
- Preparing to unpack .../48-swi-prolog-core_9.0.4+dfsg-3.1_amd64.deb ...
- Unpacking swi-prolog-core (9.0.4+dfsg-3.1) ...
- Selecting previously unselected package swi-prolog-doc.
- Preparing to unpack .../49-swi-prolog-doc_9.0.4+dfsg-3.1_all.deb ...
- Unpacking swi-prolog-doc (9.0.4+dfsg-3.1) ...
- Selecting previously unselected package swi-prolog-core-packages.
- Preparing to unpack .../50-swi-prolog-core-packages_9.0.4+dfsg-3.1_amd64.deb ...
- Unpacking swi-prolog-core-packages (9.0.4+dfsg-3.1) ...
- Selecting previously unselected package swi-prolog-nox.
- Preparing to unpack .../51-swi-prolog-nox_9.0.4+dfsg-3.1_amd64.deb ...
- Unpacking swi-prolog-nox (9.0.4+dfsg-3.1) ...
- Selecting previously unselected package swi-prolog-x.
- Preparing to unpack .../52-swi-prolog-x_9.0.4+dfsg-3.1_amd64.deb ...
- Unpacking swi-prolog-x (9.0.4+dfsg-3.1) ...
- Selecting previously unselected package swi-prolog.
- Preparing to unpack .../53-swi-prolog_9.0.4+dfsg-3.1_amd64.deb ...
- Unpacking swi-prolog (9.0.4+dfsg-3.1) ...
- Setting up libpipeline1:amd64 (1.5.7-1+b2) ...
- Setting up javascript-common (11+nmu1) ...
- Setting up libicu72:amd64 (72.1-4+b1) ...
- Setting up bsdextrautils (2.39.3-10) ...
- Setting up libxrender1:amd64 (1:0.9.10-1.1) ...
- Setting up libmagic-mgc (1:5.45-3) ...
- Setting up libarchive-zip-perl (1.68-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-1) ...
- Setting up libdebhelper-perl (13.14.1) ...
- Setting up libmagic1t64:amd64 (1:5.45-3) ...
- Setting up x11-common (1:7.7+23) ...
- invoke-rc.d: could not determine current runlevel
- invoke-rc.d: policy-rc.d denied execution of restart.
- Setting up gettext-base (0.21-14+b1) ...
- Setting up m4 (1.4.19-4) ...
- Setting up file (1:5.45-3) ...
- Setting up libossp-uuid16:amd64 (1.6.2-1.5+b13) ...
- Setting up libnettle8t64:amd64 (3.9.1-2.2) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up autopoint (0.21-14) ...
- Setting up libtcmalloc-minimal4t64:amd64 (2.15-3) ...
- Setting up libltdl7:amd64 (2.4.7-7) ...
- Setting up autoconf (2.71-3) ...
- Setting up libreadline8t64:amd64 (8.2-3.1) ...
- Setting up sensible-utils (0.0.22) ...
- Setting up libarchive-cpio-perl (0.10-3) ...
- Setting up libuchardet0:amd64 (0.0.8-1+b1) ...
- Setting up libsub-override-perl (0.10-1) ...
- Setting up libjs-jquery (3.6.1+dfsg+~3.5.14-1) ...
- Setting up libelf1:amd64 (0.190-1+b1) ...
- Setting up libsys-hostname-long-perl (1.5-3) ...
- Setting up libxml2:amd64 (2.9.14+dfsg-1.3+b2) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
- Setting up libfile-stripnondeterminism-perl (1.13.1-1) ...
- Setting up libice6:amd64 (2:1.0.10-1) ...
- Setting up libxft2:amd64 (2.3.6-1+b1) ...
- Setting up gettext (0.21-14+b1) ...
- Setting up libtool (2.4.7-7) ...
- 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.4.7-7) ...
- Setting up swi-prolog-core (9.0.4+dfsg-3.1) ...
- update-alternatives: using /usr/bin/swipl to provide /usr/bin/prolog (prolog) in auto mode
- Setting up dh-strip-nondeterminism (1.13.1-1) ...
- Setting up dwz (0.15-1) ...
- Setting up groff-base (1.23.0-3+b1) ...
- Setting up swi-prolog-core-packages (9.0.4+dfsg-3.1) ...
- Setting up libsm6:amd64 (2:1.2.3-1) ...
- Setting up libarchive13t64:amd64 (3.7.2-1.1) ...
- Setting up po-debconf (1.0.21+nmu1) ...
- Setting up swi-prolog-doc (9.0.4+dfsg-3.1) ...
- Setting up man-db (2.12.0-3) ...
- Building database of manual pages ...
- Setting up libxt6t64:amd64 (1:1.2.1-1.2) ...
- Setting up swi-prolog-nox (9.0.4+dfsg-3.1) ...
- Setting up swi-prolog-x (9.0.4+dfsg-3.1) ...
- Setting up debhelper (13.14.1) ...
- Setting up swi-prolog (9.0.4+dfsg-3.1) ...
- Processing triggers for libc-bin (2.37-15.1) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/3: [conf-swi-prolog: swipl]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "swipl" "--version" (CWD=/home/opam/.opam/5.0/.opam-switch/build/conf-swi-prolog.1)
- SWI-Prolog version 9.0.4 for x86_64-linux
-> compiled conf-swi-prolog.1
-> installed conf-swi-prolog.1
Done.
# Run eval $(opam env) to update the current shell environment
2024-03-16 04:28.03 ---> saved as "0afb78a4a6908a24a263d2095efa0063c0363d49d5a9ea0ba936d47725fe37c0"
Job succeeded
Home|Differences with the last checks|Previous runs