Building on doris.caelum.ci.dev
day10 dispatch:
verb : health-check
opam-repository : <default>
opam-repo commit : 4817f2453c85025e66642c4d61e953167e350bd6
mirror : /var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818
cache-dir : /var/cache/day10
ocaml-version : ocaml.5.5.0
package : conf-swi-prolog.1
os-distribution : debian
os-version : 13
with-test : false
+ 'day10' 'health-check' '--cache-dir' '/var/cache/day10' '--log' '--opam-repository' '/var/cache/obuilder/ocluster/git/opam-repository.git-b322f7b18d276db68487afc3dfc5a5befdd45818:4817f2453c85025e66642c4d61e953167e350bd6' '--ocaml-version' 'ocaml.5.5.0' '--arch' 'x86_64' '--os' 'linux' '--os-distribution' 'debian' '--os-version' '13' 'conf-swi-prolog.1'
digraph opam {
}
Processing: [default: loading data]
The following system packages will first need to be installed:
swi-prolog
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "swi-prolog"
- Preconfiguring packages ...
- Selecting previously unselected package libpython3.13-minimal: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 ... 20108 files and directories currently installed.)
- Preparing to unpack .../libpython3.13-minimal_3.13.5-2+deb13u4_amd64.deb ...
- Unpacking libpython3.13-minimal:amd64 (3.13.5-2+deb13u4) ...
- Selecting previously unselected package python3.13-minimal.
- Preparing to unpack .../python3.13-minimal_3.13.5-2+deb13u4_amd64.deb ...
- Unpacking python3.13-minimal (3.13.5-2+deb13u4) ...
- Setting up libpython3.13-minimal:amd64 (3.13.5-2+deb13u4) ...
- Setting up python3.13-minimal (3.13.5-2+deb13u4) ...
- 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 ... 20433 files and directories currently installed.)
- Preparing to unpack .../0-python3-minimal_3.13.5-1_amd64.deb ...
- Unpacking python3-minimal (3.13.5-1) ...
- Selecting previously unselected package media-types.
- Preparing to unpack .../1-media-types_13.0.0_all.deb ...
- Unpacking media-types (13.0.0) ...
- Selecting previously unselected package readline-common.
- Preparing to unpack .../2-readline-common_8.2-6_all.deb ...
- Unpacking readline-common (8.2-6) ...
- Selecting previously unselected package libreadline8t64:amd64.
- Preparing to unpack .../3-libreadline8t64_8.2-6_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-6) ...
- Selecting previously unselected package libpython3.13-stdlib:amd64.
- Preparing to unpack .../4-libpython3.13-stdlib_3.13.5-2+deb13u4_amd64.deb ...
- Unpacking libpython3.13-stdlib:amd64 (3.13.5-2+deb13u4) ...
- Selecting previously unselected package python3.13.
- Preparing to unpack .../5-python3.13_3.13.5-2+deb13u4_amd64.deb ...
- Unpacking python3.13 (3.13.5-2+deb13u4) ...
- Selecting previously unselected package libpython3-stdlib:amd64.
- Preparing to unpack .../6-libpython3-stdlib_3.13.5-1_amd64.deb ...
- Unpacking libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up python3-minimal (3.13.5-1) ...
- 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 ... 20919 files and directories currently installed.)
- Preparing to unpack .../00-python3_3.13.5-1_amd64.deb ...
- Unpacking python3 (3.13.5-1) ...
- Selecting previously unselected package sensible-utils.
- Preparing to unpack .../01-sensible-utils_0.0.25_all.deb ...
- Unpacking sensible-utils (0.0.25) ...
- Selecting previously unselected package libmagic-mgc.
- Preparing to unpack .../02-libmagic-mgc_1%3a5.46-5_amd64.deb ...
- Unpacking libmagic-mgc (1:5.46-5) ...
- Selecting previously unselected package libmagic1t64:amd64.
- Preparing to unpack .../03-libmagic1t64_1%3a5.46-5_amd64.deb ...
- Unpacking libmagic1t64:amd64 (1:5.46-5) ...
- Selecting previously unselected package file.
- Preparing to unpack .../04-file_1%3a5.46-5_amd64.deb ...
- Unpacking file (1:5.46-5) ...
- Selecting previously unselected package gettext-base.
- Preparing to unpack .../05-gettext-base_0.23.1-2_amd64.deb ...
- Unpacking gettext-base (0.23.1-2) ...
- 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-9_amd64.deb ...
- Unpacking groff-base (1.23.0-9) ...
- Selecting previously unselected package bsdextrautils.
- Preparing to unpack .../08-bsdextrautils_2.41-5_amd64.deb ...
- Unpacking bsdextrautils (2.41-5) ...
- 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.1-1_amd64.deb ...
- Unpacking man-db (2.13.1-1) ...
- Selecting previously unselected package m4.
- Preparing to unpack .../11-m4_1.4.19-8_amd64.deb ...
- Unpacking m4 (1.4.19-8) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../12-autoconf_2.72-3.1_all.deb ...
- Unpacking autoconf (2.72-3.1) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../13-autotools-dev_20240727.1_all.deb ...
- Unpacking autotools-dev (20240727.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../14-automake_1%3a1.17-4_all.deb ...
- Unpacking automake (1:1.17-4) ...
- Selecting previously unselected package autopoint.
- Preparing to unpack .../15-autopoint_0.23.1-2_all.deb ...
- Unpacking autopoint (0.23.1-2) ...
- Selecting previously unselected package libdebhelper-perl.
- Preparing to unpack .../16-libdebhelper-perl_13.24.2_all.deb ...
- Unpacking libdebhelper-perl (13.24.2) ...
- Selecting previously unselected package libtool.
- Preparing to unpack .../17-libtool_2.5.4-4_all.deb ...
- Unpacking libtool (2.5.4-4) ...
- 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 libxml2:amd64.
- Preparing to unpack .../24-libxml2_2.12.7+dfsg+really2.9.14-2.1+deb13u3_amd64.deb ...
- Unpacking libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ...
- Selecting previously unselected package gettext.
- Preparing to unpack .../25-gettext_0.23.1-2_amd64.deb ...
- Unpacking gettext (0.23.1-2) ...
- Selecting previously unselected package intltool-debian.
- Preparing to unpack .../26-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 .../27-po-debconf_1.0.21+nmu1_all.deb ...
- Unpacking po-debconf (1.0.21+nmu1) ...
- Selecting previously unselected package debhelper.
- Preparing to unpack .../28-debhelper_13.24.2_all.deb ...
- Unpacking debhelper (13.24.2) ...
- Selecting previously unselected package fonts-dejavu-mono.
- Preparing to unpack .../29-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 .../30-fonts-dejavu-core_2.37-8_all.deb ...
- Unpacking fonts-dejavu-core (2.37-8) ...
- Selecting previously unselected package fontconfig-config.
- Preparing to unpack .../31-fontconfig-config_2.15.0-2.3_amd64.deb ...
- Unpacking fontconfig-config (2.15.0-2.3) ...
- Selecting previously unselected package javascript-common.
- Preparing to unpack .../32-javascript-common_12+nmu1_all.deb ...
- Unpacking javascript-common (12+nmu1) ...
- Selecting previously unselected package libarchive-cpio-perl.
- Preparing to unpack .../33-libarchive-cpio-perl_0.10-3_all.deb ...
- Unpacking libarchive-cpio-perl (0.10-3) ...
- Selecting previously unselected package libarchive13t64:amd64.
- Preparing to unpack .../34-libarchive13t64_3.7.4-4+deb13u1_amd64.deb ...
- Unpacking libarchive13t64:amd64 (3.7.4-4+deb13u1) ...
- Selecting previously unselected package libpng16-16t64:amd64.
- Preparing to unpack .../35-libpng16-16t64_1.6.48-1+deb13u5_amd64.deb ...
- Unpacking libpng16-16t64:amd64 (1.6.48-1+deb13u5) ...
- Selecting previously unselected package libfreetype6:amd64.
- Preparing to unpack .../36-libfreetype6_2.13.3+dfsg-1+deb13u1_amd64.deb ...
- Unpacking libfreetype6:amd64 (2.13.3+dfsg-1+deb13u1) ...
- Selecting previously unselected package libfontconfig1:amd64.
- Preparing to unpack .../37-libfontconfig1_2.15.0-2.3_amd64.deb ...
- Unpacking libfontconfig1:amd64 (2.15.0-2.3) ...
- Selecting previously unselected package x11-common.
- Preparing to unpack .../38-x11-common_1%3a7.7+24+deb13u1_all.deb ...
- Unpacking x11-common (1:7.7+24+deb13u1) ...
- Selecting previously unselected package libice6:amd64.
- Preparing to unpack .../39-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 .../40-libjpeg62-turbo_1%3a2.1.5-4_amd64.deb ...
- Unpacking libjpeg62-turbo:amd64 (1:2.1.5-4) ...
- Selecting previously unselected package libjs-jquery.
- Preparing to unpack .../41-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 .../42-libltdl7_2.5.4-4_amd64.deb ...
- Unpacking libltdl7:amd64 (2.5.4-4) ...
- Selecting previously unselected package libltdl-dev:amd64.
- Preparing to unpack .../43-libltdl-dev_2.5.4-4_amd64.deb ...
- Unpacking libltdl-dev:amd64 (2.5.4-4) ...
- Selecting previously unselected package libsys-hostname-long-perl.
- Preparing to unpack .../44-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 .../45-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 .../46-libossp-uuid16_1.6.4-1_amd64.deb ...
- Unpacking libossp-uuid16:amd64 (1.6.4-1) ...
- Selecting previously unselected package libpython3.13:amd64.
- Preparing to unpack .../47-libpython3.13_3.13.5-2+deb13u4_amd64.deb ...
- Unpacking libpython3.13:amd64 (3.13.5-2+deb13u4) ...
- Selecting previously unselected package libsm6:amd64.
- Preparing to unpack .../48-libsm6_2%3a1.2.6-1_amd64.deb ...
- Unpacking libsm6:amd64 (2:1.2.6-1) ...
- Selecting previously unselected package libtcmalloc-minimal4t64:amd64.
- Preparing to unpack .../49-libtcmalloc-minimal4t64_2.16-1_amd64.deb ...
- Unpacking libtcmalloc-minimal4t64:amd64 (2.16-1) ...
- Selecting previously unselected package libxrender1:amd64.
- Preparing to unpack .../50-libxrender1_1%3a0.9.12-1_amd64.deb ...
- Unpacking libxrender1:amd64 (1:0.9.12-1) ...
- Selecting previously unselected package libxft2:amd64.
- Preparing to unpack .../51-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 .../52-libxinerama1_2%3a1.1.4-3+b4_amd64.deb ...
- Unpacking libxinerama1:amd64 (2:1.1.4-3+b4) ...
- Selecting previously unselected package libxpm4:amd64.
- Preparing to unpack .../53-libxpm4_1%3a3.5.17-1+deb13u1_amd64.deb ...
- Unpacking libxpm4:amd64 (1:3.5.17-1+deb13u1) ...
- Selecting previously unselected package libxt6t64:amd64.
- Preparing to unpack .../54-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 .../55-libyaml-0-2_0.2.5-2_amd64.deb ...
- Unpacking libyaml-0-2:amd64 (0.2.5-2) ...
- Selecting previously unselected package swi-prolog-core.
- Preparing to unpack .../56-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 .../57-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 .../58-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 .../59-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 .../60-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 .../61-swi-prolog_9.2.9+dfsg-1+b1_amd64.deb ...
- Unpacking swi-prolog (9.2.9+dfsg-1+b1) ...
- Setting up media-types (13.0.0) ...
- Setting up libpipeline1:amd64 (1.5.8-1) ...
- Setting up javascript-common (12+nmu1) ...
- Setting up bsdextrautils (2.41-5) ...
- Setting up libxpm4:amd64 (1:3.5.17-1+deb13u1) ...
- Setting up libxrender1:amd64 (1:0.9.12-1) ...
- Setting up libmagic-mgc (1:5.46-5) ...
- Setting up libarchive-zip-perl (1.68-1) ...
- Setting up libyaml-0-2:amd64 (0.2.5-2) ...
- Setting up libdebhelper-perl (13.24.2) ...
- Setting up libmagic1t64:amd64 (1:5.46-5) ...
- Setting up x11-common (1:7.7+24+deb13u1) ...
- 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-2) ...
- Setting up m4 (1.4.19-8) ...
- Setting up file (1:5.46-5) ...
- Setting up libossp-uuid16:amd64 (1.6.4-1) ...
- Setting up libelf1t64:amd64 (0.192-4) ...
- Setting up autotools-dev (20240727.1) ...
- Setting up libjpeg62-turbo:amd64 (1:2.1.5-4) ...
- Setting up libxinerama1:amd64 (2:1.1.4-3+b4) ...
- Setting up fonts-dejavu-mono (2.37-8) ...
- Setting up libpng16-16t64:amd64 (1.6.48-1+deb13u5) ...
- Setting up autopoint (0.23.1-2) ...
- Setting up libtcmalloc-minimal4t64:amd64 (2.16-1) ...
- Setting up fonts-dejavu-core (2.37-8) ...
- Setting up libltdl7:amd64 (2.5.4-4) ...
- Setting up autoconf (2.72-3.1) ...
- Setting up dwz (0.15-1+b1) ...
- Setting up sensible-utils (0.0.25) ...
- 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 readline-common (8.2-6) ...
- Setting up libxml2:amd64 (2.12.7+dfsg+really2.9.14-2.1+deb13u3) ...
- Setting up automake (1:1.17-4) ...
- 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-2) ...
- Setting up libtool (2.5.4-4) ...
- Setting up fontconfig-config (2.15.0-2.3) ...
- 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-4) ...
- Setting up libfreetype6:amd64 (2.13.3+dfsg-1+deb13u1) ...
- 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 libreadline8t64:amd64 (8.2-6) ...
- Setting up dh-strip-nondeterminism (1.14.1-2) ...
- Setting up groff-base (1.23.0-9) ...
- Setting up swi-prolog-core-packages (9.2.9+dfsg-1+b1) ...
- Setting up libfontconfig1:amd64 (2.15.0-2.3) ...
- Setting up libsm6:amd64 (2:1.2.6-1) ...
- Setting up libarchive13t64:amd64 (3.7.4-4+deb13u1) ...
- Setting up libpython3.13-stdlib:amd64 (3.13.5-2+deb13u4) ...
- Setting up libpython3-stdlib:amd64 (3.13.5-1) ...
- Setting up libpython3.13:amd64 (3.13.5-2+deb13u4) ...
- Setting up libxft2:amd64 (2.3.6-1+b4) ...
- Setting up python3.13 (3.13.5-2+deb13u4) ...
- Setting up po-debconf (1.0.21+nmu1) ...
- Setting up swi-prolog-doc (9.2.9+dfsg-1) ...
- Setting up python3 (3.13.5-1) ...
- running python rtupdate hooks for python3.13...
- running python post-rtupdate hooks for python3.13...
- Setting up man-db (2.13.1-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.2) ...
- Setting up swi-prolog (9.2.9+dfsg-1+b1) ...
- Processing triggers for libc-bin (2.41-12+deb13u3) ...
[conf-swi-prolog: swipl]
+ /usr/bin/swipl "--version" (CWD=/home/opam/.opam/default/.opam-switch/build/conf-swi-prolog.1)
- SWI-Prolog version 9.2.9 for x86_64-linux
-> compiled conf-swi-prolog.1
-> installed conf-swi-prolog.1
[NOTE] success
Job succeeded